Pages that link to "Item:Q2760250"
From MaRDI portal
The following pages link to Partial-order process algebra (and its relation to Petri nets) (Q2760250):
Displaying 7 items.
- On linear logic planning and concurrency (Q1041042) (← links)
- Simulation preorder over simple process algebras (Q1854513) (← links)
- Process algebras for Petri nets. The alphabetization of distributed systems (Q2406167) (← links)
- A unified model for nets and process algebras (Q2760251) (← links)
- (Q2766559) (← links)
- (Q4782071) (← links)
- Inheritance of behavior (Q5943265) (← links)