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):
Displaying 8 items.
- Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
- On the computational power of BlenX (Q1044845) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- The Decidability of the Reachability Problem for CCS! (Q3090842) (← links)
- Encoding Asynchronous Interactions Using Open Petri Nets (Q3184668) (← links)
- When to Move to Transfer Nets (Q3460877) (← links)
- On the Expressive Power of Restriction and Priorities in CCS with Replication (Q3617733) (← links)
- A Formal Model for Polarization under Confirmation Bias in Social Networks (Q5883747) (← links)
