Pages that link to "Item:Q6487376"
From MaRDI portal
The following pages link to Petri's axioms of concurrency a selection of recent results (Q6487376):
Displaying 7 items.
- Axiomatic systems in concurrency theory (Q2715921) (← links)
- Concurrency semantics for the Geiger-Paz-Pearl axioms of independence (Q2915702) (← links)
- A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems (Q2944903) (← links)
- Circular Traffic Queues and Petri’s Cycloids (Q5100756) (← links)
- What are the Fundamental Structures of Concurrency? (Q5262949) (← links)
- An Axiomatisation of Duplication Equivalence in the Petri Box Calculus (Q6487391) (← links)
- Thinking in Cycles (Q6487393) (← links)