Compositional process semantics of Petri Boxes
From MaRDI portal
Publication:5890051
DOI10.1007/3-540-58027-1_12OpenAlexW1588031665MaRDI QIDQ5890051
Publication date: 28 April 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-58027-1_12
concurrent compositioncommunication labelhierarchical transitionprocess semanticsimultaneous refinement
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Modeling concurrency with partial orders
- A distributed operational semantics of CCS based on condition/event systems
- Sequential and concurrent behaviour in Petri net theory
- Branching processes of Petri nets
- Finite representations of CCS and TCSP programs by automata and Petri nets
- The non-sequential behaviour of Petri nets
- Process Algebra
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item