Pages that link to "Item:Q817843"
From MaRDI portal
The following pages link to Towards an algebraic theory of typed mobile processes (Q817843):
Displaying 8 items.
- An algebra of behavioural types (Q418153) (← links)
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- A calculus of mobile processes. II (Q1198549) (← links)
- Typed behavioural equivalences for processes in the presence of subtyping (Q2841263) (← links)
- A Behavioural Theory for a π-calculus with Preorders (Q3455864) (← links)
- Two Session Typing Systems for Higher-Order Mobile Processes (Q3612640) (← links)
- Programming Languages and Systems (Q5316578) (← links)