Hostname: page-component-78c5997874-v9fdk Total loading time: 0 Render date: 2024-11-19T15:21:06.296Z 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

Abstract

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.

Type
Research Article
Copyright
2003 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)