Pages that link to "Item:Q2864374"
From MaRDI portal
The following pages link to Matching Systems for Concurrent Calculi (Q2864374):
Displaying 5 items.
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
- Expressiveness of concurrent intensionality (Q2193283) (← links)
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)
