The following pages link to (Q4219047):
Displaying 15 items.
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Semantic subtyping for the pi-calculus (Q930882) (← links)
- Mobile ambients (Q1575154) (← links)
- Secrecy and group creation (Q1763430) (← links)
- A coordination approach to mobile components (Q1770368) (← links)
- Static analysis for the \(\pi\)-calculus with applications to security (Q1854437) (← links)
- Assigning types to processes (Q1854525) (← links)
- Towards a behavioural theory of access and mobility control in distributed systems (Q1881259) (← links)
- A theory of bisimulation for a fragment of concurrent ML with local names (Q1882896) (← links)
- Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197) (← links)
- Types for the ambient calculus (Q2497144) (← links)
- The seal calculus (Q2566220) (← links)
- Encoding Distributed Areas and Local Communication into the π-Calculus (Q4917086) (← links)
- A Distributed π-Calculus with Local Areas of Communication (Q4921499) (← links)
- From rewrite rules to bisimulation congruences (Q5958468) (← links)
