Foundations of Software Science and Computation Structures
22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Editors: Bojanczyk, Mikolaj, Simpson, Alex (Eds.)
Free PreviewBuy this book
- About this book
-
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science.
- Table of contents (30 chapters)
-
-
Universal Graphs and Good for Games Automata: New Tools for Infinite Duration Games
Pages 1-26
-
Resource-Tracking Concurrent Games
Pages 27-44
-
Change Actions: Models of Generalised Differentiation
Pages 45-61
-
Coalgebra Learning via Duality
Pages 62-79
-
Tight Worst-Case Bounds for Polynomial Loop Programs
Pages 80-97
-
Table of contents (30 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Foundations of Software Science and Computation Structures
- Book Subtitle
- 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
- Editors
-
- Mikolaj Bojanczyk
- Alex Simpson
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 11425
- Copyright
- 2019
- Publisher
- Springer International Publishing
- Copyright Holder
- The Editor(s) (if applicable) and The Author(s)
- eBook ISBN
- 978-3-030-17127-8
- DOI
- 10.1007/978-3-030-17127-8
- Softcover ISBN
- 978-3-030-17126-1
- Edition Number
- 1
- Number of Pages
- XV, 542
- Number of Illustrations
- 2395 b/w illustrations, 6 illustrations in colour
- Topics
