Structured transition systems with parametric observations: observational congruences and minimal realizations

DOI10.1017/S0960129597002284zbMath0878.68084OpenAlexW2088537505MaRDI QIDQ4344793

Miranda Mowbray, Ugo Montanari, Gian-Luigi Ferrari

Publication date: 17 July 1997

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129597002284

zbMATH Keywords

minimal realizationsstructured transition systems

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Ugo Montanari and Concurrency Theory ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ Copower functors ⋮ Concrete Process Categories ⋮ Paths and Simulations ⋮ Comparing logics for rewriting: Rewriting logic, action calculi and tile logic

This page was built for publication: Structured transition systems with parametric observations: observational congruences and minimal realizations