Pages that link to "Item:Q3525112"
From MaRDI portal
The following pages link to On Recursion, Replication and Scope Mechanisms in Process Calculi (Q3525112):
Displaying 6 items.
- Making random choices invisible to the scheduler (Q979081) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- Corecursion and Non-divergence in Session-Typed Processes (Q2811932) (← links)
- On the Expressiveness of the π-Calculus and the Mobile Ambients (Q3067465) (← links)
- (Q4449170) (← links)