scientific article; zbMATH DE number 176514

zbMATH Open0773.68052MaRDI QIDQ4035680FDOQ4035680

Authors: Walter Vogler 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

bisimulationconcurrent systems

Mathematics Subject Classification ID

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

Cited In (15)

• The box algebra = Petri nets + process expressions
• Failures semantics based on interval semiwords is a congruence for refinement
• Maximality preserving bisimulation
• Concurrent testing of processes
• Normalization of place/transition-systems preserves net behaviour
• 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
• Deciding true concurrency equivalences on finite safe nets (preliminary report)
• Bisimulation and action refinement
• Title not available (Why is that?)
• Bisimulation can't be traced
• Refinement of actions in event structures and causal trees
• Title not available (Why is that?)

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)