A Programming Language for Spatial Distribution of Net Systems
From MaRDI portal
Publication:5166761
DOI10.1007/978-3-319-07734-5_9zbMath1410.68259OpenAlexW1029858661MaRDI QIDQ5166761
Owen Stephens, Paweł Sobociński
Publication date: 8 July 2014
Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-07734-5_9
logical calculimodelling approachesalgebraic calculinet-based calculisemantical calculisystem design using nets
Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Confluence of Graph Rewriting with Interfaces ⋮ Lawvere Categories as Composed PROPs ⋮ Extended Nested Dual System Groups, Revisited ⋮ String diagram rewrite theory III: Confluence with and without Frobenius
Uses Software
Cites Work
- A calculus of communicating systems
- A technique of state space search based on unfolding
- Towards an algebraic theory of Boolean circuits.
- Nivat's processes and their synchronization
- SAT-solving the coverability problem for Petri nets
- How to calculate symmetries of Petri nets
- A tutorial on coinductive stream calculus and signal flow graphs
- Connector algebras for C/E and P/T nets' interactions
- Categorical quantum mechanics
- Process Mining
- A Connector Algebra for P/T Nets Interactions
- Compositional Reachability in Petri Nets
- Representations of Petri Net Interactions
- Simple Composition of Nets
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A Programming Language for Spatial Distribution of Net Systems