scientific article; zbMATH DE number 176514

MaRDI QIDQ4035680zbMATH OpenFDO

Authors Walter Vogler

Publication date 18 May 1993

zbMATH Keywords

bisimulationconcurrent systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• Bisimulation and action refinement
• scientific article; zbMATH DE number 590996
• Maximality preserving bisimulation
• Refinement of actions in event structures and causal trees
• Publication:5750408

Cited in

(15)

• The box algebra = Petri nets + process expressions
• Failures semantics based on interval semiwords is a congruence for refinement
• Maximality preserving bisimulation
• Normalization of place/transition-systems preserves net behaviour
• Concurrent testing of processes
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• A bisimulation for dynamic sealing
• Concurrent bisimulations in Petri nets
• \(\tau\)-bisimulations and full abstraction for refinement of actions
• Bisimulation and action refinement
• Deciding true concurrency equivalences on finite safe nets (preliminary report)
• scientific article; zbMATH DE number 1886073 (Why is no real title available?)
• Bisimulation can't be traced
• Refinement of actions in event structures and causal trees
• scientific article; zbMATH DE number 590996 (Why is no real title available?)

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