scientific article; zbMATH DE number 176514

MaRDI QIDQ4035680zbMATHFDO

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)

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

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)