Overview
- This book is open access, which means that you have free and unlimited access
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14575)
Included in the following conference series:
Conference proceedings info: FoSSaCS 2024.
Buy print copy
Tax calculation will be finalised at checkout
About this book
The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:
Part I: Infinite games; categorical semantics; automata and synthesis;
Part II: Types and programming languages; logic and proofs; infinite-state systems.
Keywords
- Open Access
- program analysis
- categorical models and logics
- language theory, automata, and games
- concurrency theory
- modal, spatial, and temporal logics
- logics of programming
- software specification and refinement
- emerging models of computation
- models of software security
- logical aspects of computational complexity
Table of contents (12 papers)
-
Types and Programming Languages
-
Infinite-State Systems
Other volumes
-
Foundations of Software Science and Computation Structures
-
Foundations of Software Science and Computation Structures
Editors and Affiliations
Bibliographic Information
Book Title: Foundations of Software Science and Computation Structures
Book Subtitle: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
Editors: Naoki Kobayashi, James Worrell
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-57231-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s) 2024
Softcover ISBN: 978-3-031-57230-2Published: 06 April 2024
eBook ISBN: 978-3-031-57231-9Published: 05 April 2024
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 272
Number of Illustrations: 26 b/w illustrations, 11 illustrations in colour
Topics: Theory of Computation, Mathematical Logic and Foundations, Data Structures and Information Theory, Computer System Implementation, Mathematics of Computing