Coalgebraic Methods in Computer Science : 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.

Format:

Book

Contributor:

König, Barbara, editor.

Urbat, Henning, editor.

Series:

Lecture Notes in Computer Science, 1611-3349 ; 14617

Language:

English

Subjects (All):

Logic, Symbolic and mathematical.

Machine theory.

Logic programming.

Computer science--Mathematics.

Computer science.

Mathematical Logic and Foundations.

Formal Languages and Automata Theory.

Logic in AI.

Mathematics of Computing.

Local Subjects:

Mathematical Logic and Foundations.

Formal Languages and Automata Theory.

Logic in AI.

Mathematics of Computing.

Physical Description:

1 online resource (226 pages)

Edition:

1st ed. 2024.

Place of Publication:

Cham : Springer Nature Switzerland : Imprint: Springer, 2024.

Summary:

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.

Contents:

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.

Notes:

Includes bibliographical references and index.

ISBN:

3-031-66438-8