Failures semantics based on interval semiwords is a congruence for refinement
From MaRDI portal
Publication:757073
DOI10.1007/BF01798961zbMath0723.68069MaRDI QIDQ757073
Publication date: 1991
Published in: Distributed Computing (Search for Journal in Brave)
Petri nets; partial order semantics; divergence; interval orders; action refinement; failures semantics
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
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item