This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022.
The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.
Reihe
Auflage
Sprache
Verlagsort
Verlagsgruppe
Springer International Publishing
Illustrationen
8
8 s/w Abbildungen
XVII, 195 p. 8 illus.
ISBN-13
978-3-031-10736-8 (9783031107368)
DOI
10.1007/978-3-031-10736-8
Schweitzer Klassifikation