Failures semantics based on interval semiwords is a congruence for refinement

DOI10.1007/BF01798961zbMath0723.68069MaRDI QIDQ757073

Walter Vogler

Publication date: 1991

Published in: Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

Petri nets; partial order semantics; divergence; interval orders; action refinement; failures semantics

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68Q55: Semantics in the theory of computing

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Bisimulation and action refinement, Finite Petri nets as models for recursive causal behaviour, Deciding true concurrency equivalences on safe, finite nets, The difference between splitting in \(n\) and \(n+1\), Axiomatizing shuffle and concatenation in languages, Vertical implementation, The box algebra = Petri nets + process expressions, Concurrent testing of processes, Timing and causality in process algebra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A method for stepwise refinement and abstraction of Petri nets
• Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
• Modeling concurrency with partial orders
• Failures semantics and deadlocking of modular Petri nets
• Sequential and concurrent behaviour in Petri net theory
• A calculus of communicating systems
• Petri nets, event structures and domains. I
• Finite representations of CCS and TCSP programs by automata and Petri nets
• Analysis of Petri nets by stepwise refinements
• Intransitive indifference with unequal indifference intervals
• Concurrent bisimulations in Petri nets
• The non-sequential behaviour of Petri nets
• Process algebra for synchronous communication
• A Theory of Communicating Sequential Processes