scientific article; zbMATH DE number 1059325

zbMath0880.68096MaRDI QIDQ4353632

Mogens Nielsen, Glynn Winskel

Publication date: 10 September 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

strong bisimulationtransition systemspresheaves

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)

Related Items (5)

Bisimulation maps in presheaf categories ⋮ Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay ⋮ Bisimulation Relations for Dynamical and Control Systems ⋮ Bisimulation relations for dynamical, control, and hybrid systems ⋮ Relational presheaves, change of base and weak simulation

This page was built for publication: