Coalgebraic Methods in Computer Science
18th IFIP WG 1.3 International Workshop, CMCS 2026, Turin, Italy, April 11–12, 2026, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the proceedings of the 18th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2025, Turin, Italy, during April 11–12, 2026.
The 7 full papers included in this book were carefully reviewed and selected from 10 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras.
Autor*in
Henning Basold
Themen in »Coalgebraic Methods in Computer Science«
automata theory data types coinductive definitions and proof principles models of computation semantics formal logic modal logic programming languages verification coalgebra concurrency theory behavioural equivalence game theory