Pages that link to "Item:Q3455211"

The following pages link to Behavioral theory for mobile ambients (Q3455211):

Displaying 29 items.

• A pure labeled transition semantics for the applied pi calculus (Q621583) (← links)
• Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
• A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
• Theory of interaction (Q896903) (← links)
• Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
• Probabilistic mobile ambients (Q1006650) (← links)
• Virtually timed ambients: a calculus of nested virtualization (Q1683706) (← links)
• A semantic theory of the Internet of things (Q1706144) (← links)
• Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
• Deriving structural labelled transitions for mobile ambients (Q1959484) (← links)
• Processes against tests: on defining contextual equivalences (Q2079681) (← links)
• Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
• Towards `up to context' reasoning about higher-order processes (Q2286742) (← links)
• A synchronous \(\pi\)-calculus (Q2381508) (← links)
• Basic observables for a calculus for global computing (Q2384924) (← links)
• A General Theory of Barbs, Contexts, and Labels (Q2946747) (← links)
• Howe’s Method for Calculi with Passivation (Q3184692) (← links)
• A Decentralized Implementation of Mobile Ambients (Q3540392) (← links)
• Normal Bisimulations in Calculi with Passivation (Q3617734) (← links)
• Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735) (← links)
• Equational properties of mobile ambients (Q4814186) (← links)
• (Q5155688) (← links)
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607) (← links)
• Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) (Q5170667) (← links)
• Bisimulation congruences in safe ambients (Q5178899) (← links)
• Types for ambient and process mobility (Q5458067) (← links)
• RPO semantics for mobile ambients (Q5740373) (← links)
• Processes, systems \& tests: defining contextual equivalences (Q6649539) (← links)