Pages that link to "Item:Q5308465"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308465):
Displaying 13 items.
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- Fair ambients (Q877172) (← links)
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- On the computational strength of pure ambient calculi (Q1763730) (← links)
- Tutorial on separation results in process calculi via leader election problems (Q2464946) (← links)
- CCS with priority guards (Q2474050) (← links)
- Symmetric electoral systems for ambient calculi (Q2475806) (← links)
- Name-passing in an ambient-like calculus and its proof using spatial logic (Q2491641) (← links)
- Leader election in rings of ambient processes (Q2491642) (← links)
- On the Relative Expressive Power of Calculi for Mobility (Q2805161) (← links)
- Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus (Q2864372) (← links)
- Matching Systems for Concurrent Calculi (Q2864374) (← links)
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)
