Pages that link to "Item:Q2847404"
From MaRDI portal
The following pages link to On the computational strength of pure ambient calculi (Q2847404):
Displaying 6 items.
- On the computational strength of pure ambient calculi (Q1763730) (← links)
- When ambients cannot be opened (Q1770415) (← links)
- On the expressive power of movement and restriction in pure mobile ambients (Q1881256) (← links)
- Name-passing in an ambient-like calculus and its proof using spatial logic (Q2491641) (← links)
- Linearity, persistence and testing semantics in the asynchronous pi-calculus (Q2864372) (← links)
- On Recursion, Replication and Scope Mechanisms in Process Calculi (Q3525112) (← links)