Pages that link to "Item:Q672123"
From MaRDI portal
The following pages link to Locality and interleaving semantics in calculi for mobile processes (Q672123):
Displaying 6 items.
- \(\pi\)-calculus, internal mobility, and agent-passing calculi (Q671684) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
- Non-interleaving semantics for mobile processes (Q1285660) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- Mobile objects as mobile processes (Q2497145) (← links)
- Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned (Q2999320) (← links)
