Publication:4934317
From MaRDI portal
zbMath0944.18006MaRDI QIDQ4934317
Reiko Heckel, Andrea Corradini, Ugo Montanari
Publication date: 17 September 2000
concurrent systems; structured coalgebras; observational equivalence; bisimilarity; horizontal decomposition property; tile models; tile rewrite systems
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
18C50: Categorical semantics of formal languages
Related Items
Rewriting logic: Roadmap and bibliography, Observational congruences for dynamically reconfigurable tile systems, Models of Computation: A Tribute to Ugo Montanari’s Vision