| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Foundations of software science and computation structures/ edited by Naoki Kobayashi, James Worrell. |
| Reminder of title: |
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. |
| remainder title: |
FOSSACS 2024 |
| other author: |
Kobayashi, Naoki. |
| corporate name: |
FOSSACS (Conference) |
| Published: |
Cham :Springer Nature Switzerland : : 2024., |
| Description: |
xvi, 280 p. :ill. (some col.), digital ;24 cm. |
| [NT 15003449]: |
Invited Talk -- Ackermannian Completion of Separators -- Infinite Games -- Fair Omega-regular Games -- Stochastic Window Mean-Payoff Games -- Symbolic Solution of Emerson-Lei Games for Reactive Synthesis -- Parity Games on Temporal Graphs -- Categorical Semantics -- Drawing from an Urn is Isometric -- Enriching Diagrams with Algebraic Operations -- Monoidal Extended Stone Duality -- Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory) -- Automata and Synthesis -- Determinization of Integral Discounted-Sum Automata is Decidable -- Checking History-Determinism is NP-hard for Parity Automata -- Tighter Construction of Tight Büchi Automata -- Synthesis with Privacy Against an Observer. |
| Contained By: |
Springer Nature eBook |
| Subject: |
Computer software - Congresses. - |
| Online resource: |
https://doi.org/10.1007/978-3-031-57228-9 |
| ISBN: |
9783031572289 |