Pages that link to "Item:Q672123"
From MaRDI portal
The following pages link to Locality and interleaving semantics in calculi for mobile processes (Q672123):
Displayed 4 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)
- Mobile objects as mobile processes (Q2497145) (← links)