Pages that link to "Item:Q4814186"

The following pages link to Equational properties of mobile ambients (Q4814186):

Displaying 23 items.

• A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
• Space-aware ambients and processes (Q875514) (← links)
• Fair ambients (Q877172) (← links)
• Mobile ambients (Q1575154) (← links)
• Virtually timed ambients: a calculus of nested virtualization (Q1683706) (← links)
• A formal approach to open multiparty interactions (Q1727996) (← links)
• Deriving structural labelled transitions for mobile ambients (Q1959484) (← links)
• A process algebraic approach to reaction systems (Q2044947) (← links)
• Processes against tests: on defining contextual equivalences (Q2079681) (← links)
• Information flow security in boundary ambients (Q2482455) (← links)
• A typed encoding of boxed into safe ambients (Q2491209) (← links)
• Name-passing in an ambient-like calculus and its proof using spatial logic (Q2491641) (← links)
• The seal calculus (Q2566220) (← links)
• Communication and mobility control in boxed ambients (Q2573334) (← links)
• On an open problem of Amadio and Curien: The finite antichain condition (Q2573335) (← links)
• A Fully Abstract Model for Mobile Ambients (Q2841277) (← links)
• Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines (Q3458151) (← links)
• Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) (Q5170667) (← links)
• RPO semantics for mobile ambients (Q5740373) (← links)
• Boxed ambients with communication interfaces (Q5756976) (← links)
• Applying a testing approach to the Calculus of Fair Ambients (Q5850754) (← links)
• On the semantics of durational actions (Q5958612) (← links)
• Processes, systems \& tests: defining contextual equivalences (Q6649539) (← links)