Hostname: page-component-74656f9884-2dmjx Total loading time: 0 Render date: 2026-11-08T14:49:47.284Z Has data issue: false hasContentIssue false

Preface to Special Issue: Coalgebraic methods in computer science

Published online by Cambridge University Press:  01 April 2003

ANDREA CORRADINI
Affiliation:
Department of Computer Science, University of Pisa
MARINA LENISA
Affiliation:
Department of Mathematics and Computer Science, University of Udine
UGO MONTANARI
Affiliation:
Department of Computer Science, University of Pisa
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

During the last few years it has become increasingly clear that a very wide variety of state-based dynamical systems, such as transition systems, automata, process calculi and class-based systems can be captured uniformly as coalgebras. Moreover, the theory and applications of coalgebras is developing into a field of interest in its own right, presenting a deep mathematical foundation, a growing range of applications and interactions with various other areas, such as reactive and interactive system theory, object-oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, analysis, and so on.

Information

Type
Research Article
Copyright
2003 Cambridge University Press