scientific article; zbMATH DE number 1059325

MaRDI QIDQ4353632zbMATH OpenFDO

Authors Glynn Winskel, Mogens Nielsen

Publication date 10 September 1997

zbMATH Keywords

presheavesstrong bisimulationtransition systems

Mathematics Subject Classification ID

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

Recommendations

• Relational presheaves as labelled transition systems
• scientific article; zbMATH DE number 1086660
• Bisimulation from open maps

Cited in

(7)

• Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay
• Bisimulation maps in presheaf categories
• Relational presheaves, change of base and weak simulation
• Bisimulation relations for dynamical, control, and hybrid systems
• Bisimulation relations for dynamical and control systems
• Relational presheaves as labelled transition systems
• Sheaves and Structures of Transition Systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4353632)