Coalgebraic Methods in Computer Science: 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings

by Helle Hvid Hansen (Editor), Fabio Zanasi (Editor)

Overview

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.

Product Details

ISBN-13:	9783031107368
Publisher:	Springer-Verlag New York, LLC
Publication date:	07/22/2022
Series:	Lecture Notes in Computer Science , #13225
Sold by:	Barnes & Noble
Format:	eBook
File size:	20 MB
Note:	This product may take a few minutes to download.