Pages that link to "Item:Q671684"
From MaRDI portal
The following pages link to \(\pi\)-calculus, internal mobility, and agent-passing calculi (Q671684):
Displaying 9 items.
- (Q5141618) (← links)
- Constructing weak simulations from linear implications for processes with private names (Q5236556) (← links)
- Linear logic propositions as session types (Q5741566) (← links)
- (Q5875401) (← links)
- Event structures for the reversible early internal \(\pi\)-calculus (Q5925541) (← links)
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
- On decidability of the bisimilarity on higher-order processes with parameterization (Q6643749) (← links)
- A subexponential view of domains in session types (Q6661154) (← links)
