Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

In a timely exploration of the intersection between coalgebra and computer science, this collection of revised selected papers presents insights from the 12th IFIP WG 1.3 International Workshop. Scholars and researchers convened in Grenoble, France to share advancements in theoretical frameworks that underpin various aspects of computation, including bisimulation and coinductive equivalences.

The discussions and analyses delve into generic approaches to understand programming languages and systems, providing a platform for dialogue among thought leaders in the field. By focusing on foundational concepts and their practical implications, the workshop papers contribute significantly to ongoing research and development in computer science.