Coalgebraic Methods in Computer Science
1 Verfügbar 
Details
This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024.
The 10 papers included in these proceedings were carefully reviewed and selected from 15 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras.
Inhalt
Coalgebraic CTL: Fixpoint Characterization and Polynomial-time Model Checking.- A Categorical Approach to Coalgebraic Fixpoint Logic.- Preorder-Constrained Simulations for Program Refinement with Effects.- Automata and Coalgebras in Categories of Species.- Automata in W-Toposes, and General Myhill-Nerode Theorems.- Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.- Explicit Hopcroft's Trick in Categorical Partition Refinement.- Proving Behavioural Apartness.- A Compositional Approach to Petri Nets.- Correspondence between Composite Theories and Distributive Laws.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783031664373
- Lesemotiv Verstehen
- Genre Maths
- Auflage 2024
- Editor Henning Urbat, Barbara König
- Anzahl Seiten 228
- Herausgeber Springer Nature Switzerland
- Größe H235mm x B155mm x T13mm
- Jahr 2024
- EAN 9783031664373
- Format Kartonierter Einband
- ISBN 978-3-031-66437-3
- Veröffentlichung 26.07.2024
- Titel Coalgebraic Methods in Computer Science
- Untertitel 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings
- Gewicht 353g
- Sprache Englisch
