Pages that link to "Item:Q3617733"
From MaRDI portal
The following pages link to On the Expressive Power of Restriction and Priorities in CCS with Replication (Q3617733):
Displayed 5 items.
- Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
- On the computational power of BlenX (Q1044845) (← links)
- The Decidability of the Reachability Problem for CCS! (Q3090842) (← links)
- Encoding Asynchronous Interactions Using Open Petri Nets (Q3184668) (← links)
- On the Expressive Power of Restriction and Priorities in CCS with Replication (Q3617733) (← links)