Preface: Volume 65, Issue 1

✍ Scribed by Lawrence S. Moss

• Publisher: Elsevier Science
• Year: 2002
• Tongue: English
• Weight: 47 KB
• Volume: 65
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/s1571-0661(05)80374-3

✦ Synopsis

as satellite event to ETAPS'2002. Over the last few years it has become clear that a great variety of state-based dynamical systems, like transition systems, automata, process calculi and class-based systems can be captured uniformly as coalgebras. The aim of the CMCS workshops is to bring together researchers with a common interest in the theory and application of coalgebras. The five CMCS volumes demonstrate that coalgebra is developing into a field of its own, presenting a deep mathematical foundation and a growing field of applications and interactions with various other fields, such as modal logic, category theory, dynamical systems, control systems, object-oriented and concurrent programming, formal systems specifications, algebra, analysis, combinatorics, and set theory.