The following pages link to Mobile ambients (Q1575154):
Displaying 11 items.
- A timed calculus for wireless systems (Q650891) (← links)
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- A core calculus for correlation in orchestration languages (Q861302) (← links)
- Hybrid logical analyses of the ambient calculus (Q964494) (← links)
- What is a free name in a process algebra? (Q2379969) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- Information flow security in boundary ambients (Q2482455) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2491638) (← links)
- On an open problem of Amadio and Curien: The finite antichain condition (Q2573335) (← links)
- Journeys in non-classical computation I: A grand challenge for computing research (Q5492115) (← links)
