scientific article; zbMATH DE number 1390052
From MaRDI portal
Publication:4934317
zbMath0944.18006MaRDI QIDQ4934317
Ugo Montanari, Andrea Corradini, Reiko Heckel
Publication date: 17 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrent systemsstructured coalgebrasobservational equivalencebisimilarityhorizontal decomposition propertytile modelstile rewrite systems
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Categorical semantics of formal languages (18C50)
Related Items (7)
Rewriting logic: Roadmap and bibliography ⋮ Coalgebraic Symbolic Semantics ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ GETGRATS ⋮ Observational congruences for dynamically reconfigurable tile systems ⋮ G-Reactive Systems as Coalgebras ⋮ A Coalgebraic Theory of Reactive Systems
This page was built for publication:
