Pages that link to "Item:Q672123"

The following pages link to Locality and interleaving semantics in calculi for mobile processes (Q672123):

Displaying 9 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)
• Encoding Distributed Areas and Local Communication into the π-Calculus (Q4917086) (← links)
• A Distributed π-Calculus with Local Areas of Communication (Q4921499) (← links)
• A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus (Q5738986) (← links)