Pages that link to "Item:Q1083185"
From MaRDI portal
The following pages link to Concurrent and maximally concurrent evolution of nonsequential systems (Q1083185):
Displayed 6 items.
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- Executions: A new partial-order semantics of Petri nets (Q1183595) (← links)
- Proving partial order properties (Q1322161) (← links)
- A Petri net model for membrane systems with dynamic structure (Q2655493) (← links)
- Modelling Concurrency with Quotient Monoids (Q3510871) (← links)
- A method for the verification of a distributed and synchronized algorithm (Q4671275) (← links)