03489nam a22006015i 4500 978-3-031-66438-0 DE-He213 20251030112650.0 cr nn 008mamaa 240725s2024 sz | s |||| 0|eng d 9783031664380 978-3-031-66438-0 10.1007/978-3-031-66438-0 doi QA8.9-10.3 PBCD bicssc PBC bicssc MAT018000 bisacsh PBCD thema PBC thema Coalgebraic Methods in Computer Science [electronic resource] : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings / edited by Barbara König, Henning Urbat. 1st ed. 2024. Cham : Springer Nature Switzerland : Imprint: Springer, 2024. IX, 217 p. 38 illus., 13 illus. in color. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Lecture Notes in Computer Science, 1611-3349 ; 14617 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. 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. Mathematical logic. 66195 Machine theory. 67305 Logic programming. 66664 Computer science Mathematics. 64041 Mathematical Logic and Foundations. 66198 Formal Languages and Automata Theory. 67306 Logic in AI. 66665 Mathematics of Computing. 66501 König, Barbara. editor. (orcid)0000-0002-4193-2889 https://orcid.org/0000-0002-4193-2889 edt http://id.loc.gov/vocabulary/relators/edt 81272 Urbat, Henning. editor. (orcid)0000-0002-3265-7168 https://orcid.org/0000-0002-3265-7168 edt http://id.loc.gov/vocabulary/relators/edt 81273 SpringerLink (Online service) Springer Nature eBook Printed edition: 9783031664373 Printed edition: 9783031664397 Lecture Notes in Computer Science, 1611-3349 ; 14617 https://doi.org/10.1007/978-3-031-66438-0 ZDB-2-SCS ZDB-2-SXCS ZDB-2-LNC 61913 61913