Pages that link to "Item:Q2848136"
From MaRDI portal
The following pages link to Concurrent nets: a study of prefixing in process calculi (Q2848136):
Displaying 6 items.
- On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
- An exact correspondence between a typed pi-calculus and polarised proof-nets (Q974114) (← links)
- Concurrent nets: a study of prefixing in process calculi (Q2491636) (← links)
- Network Conscious π-calculus: A Concurrent Semantics (Q3178290) (← links)
- Nets, Terms and Formulas (Q3997896) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897472) (← links)