Study Week: Selected textbooks only 14.99 each—eBooks & softcovers on sale! Shop now >>

Theoretical Computer Science and General Issues Advanced Research in Computing and Software Science
cover
Open Access This content is freely available online to anyone, anywhere at any time.

Foundations of Software Science and Computation Structures

24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Editors: Kiefer, Stefan, Tasson, Christine (Eds.)

Buy this book

eBook  
  • ISBN 978-3-030-71995-1
  • This book is an open access book, you can download it for free on link.springer.com
Softcover 41,59 €
price for Spain (gross)
  • ISBN 978-3-030-71994-4
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.

The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

 

Table of contents (28 chapters)

Table of contents (28 chapters)
  • Constructing a universe for the setoid model

    Pages 1-21

    Altenkirch, Thorsten (et al.)

  • Nominal Equational Problems

    Pages 22-41

    Ayala-Rincón, Mauricio (et al.)

  • Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

    Pages 42-61

    Balasubramanian, A. R. (et al.)

  • Fixpoint Theory – Upside Down

    Pages 62-81

    Baldan, Paolo (et al.)

  • “Most of” leads to undecidability: Failure of adding frequencies to LTL

    Pages 82-101

    Bednarczyk, Bartosz (et al.)

Buy this book

eBook  
  • ISBN 978-3-030-71995-1
  • This book is an open access book, you can download it for free on link.springer.com
Softcover 41,59 €
price for Spain (gross)
  • ISBN 978-3-030-71994-4
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Foundations of Software Science and Computation Structures
Book Subtitle
24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
Editors
  • Stefan Kiefer
  • Christine Tasson
Series Title
Theoretical Computer Science and General Issues
Series Volume
12650
Copyright
2021
Publisher
Springer International Publishing
Copyright Holder
The Editor(s) (if applicable) and The Author(s)
eBook ISBN
978-3-030-71995-1
DOI
10.1007/978-3-030-71995-1
Softcover ISBN
978-3-030-71994-4
Edition Number
1
Number of Pages
XV, 574
Number of Illustrations
52 b/w illustrations
Topics