Pages that link to "Item:Q5712296"
From MaRDI portal
The following pages link to Lectures on Concurrency and Petri Nets (Q5712296):
Displaying 7 items.
- An algebra of processes (Q1096381) (← links)
- A brief history of process algebra (Q1781995) (← links)
- The box algebra = Petri nets + process expressions (Q1854558) (← links)
- Process algebras for Petri nets. The alphabetization of distributed systems (Q2406167) (← links)
- Partial-order process algebra (and its relation to Petri nets) (Q2760250) (← links)
- A unified model for nets and process algebras (Q2760251) (← links)
- What are the Fundamental Structures of Concurrency? (Q5262949) (← links)