scientific article; zbMATH DE number 1059331

MaRDI QIDQ4353638zbMATH OpenFDO

Authors Ugo Montanari, Marco Pistore

Publication date 26 February 1998

zbMATH Keywords

bisimulationPetri nets

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Minimal transition systems for history-preserving bisimulation
• scientific article; zbMATH DE number 176758
• Model checking concurrency and causality
• Publication:4941914

Cited in

(6)

• Exploring nominal cellular automata
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• History-preserving bisimilarity for higher-dimensional automata via open maps
• Well structured transition systems with history
• Symmetries, local names and dynamic (de)-allocation of names
• A coalgebraic semantics for causality in Petri nets

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 Q4353638)