- Record: found
- Abstract: not found
- Book Chapter: not found
Mathematical Foundations of Computer Science 2000
π-Calculus, Structured Coalgebras, and Minimal HD-Automata
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references3
- Record: found
- Abstract: not found
- Article: not found
Structured Transition Systems as Lax Coalgebras1 1Research partly supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems)
- Record: found
- Abstract: not found
- Article: not found
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence
Andrea Corradini, Reiko Heckel, Ugo Montanari (1999)
- Record: found
- Abstract: not found
- Article: not found
Compositional Constructor Interpretation over Coalgebraic Models for the π—Calculus
Michael Baldamus (2000)