Pages that link to "Item:Q2491636"
From MaRDI portal
The following pages link to Concurrent nets: a study of prefixing in process calculi (Q2491636):
Displaying 7 items.
- On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- An interpretation of CCS into ludics (Q2333316) (← links)
- Concurrent nets: a study of prefixing in process calculi (Q2848136) (← links)
- Network Conscious π-calculus: A Concurrent Semantics (Q3178290) (← links)
- Nets, Terms and Formulas (Q3997896) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897472) (← links)