Pages that link to "Item:Q5178899"
From MaRDI portal
The following pages link to Bisimulation congruences in safe ambients (Q5178899):
Displaying 26 items.
- A pure labeled transition semantics for the applied pi calculus (Q621583) (← links)
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- Space-aware ambients and processes (Q875514) (← links)
- Fair ambients (Q877172) (← links)
- An efficient abstract machine for safe ambients (Q882488) (← links)
- Access control in mobile ambient calculi: a comparative view (Q930876) (← links)
- Probabilistic mobile ambients (Q1006650) (← links)
- Program constructions that are safe for bisimulation (Q1577351) (← links)
- On the computational strength of pure ambient calculi (Q1763730) (← links)
- A coordination approach to mobile components (Q1770368) (← links)
- Locating reaction with 2-categories (Q1770420) (← links)
- Towards a behavioural theory of access and mobility control in distributed systems (Q1881259) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← 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)
- Leader election in rings of ambient processes (Q2491642) (← links)
- The seal calculus (Q2566220) (← links)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- Intensionality of modal logic for robust ambient calculus (Q2844039) (← links)
- Constrained simulations, nested simulation semantics and counting bisimulations (Q2871848) (← links)
- Deciding reachability problems in Turing-complete fragments of Mobile Ambients (Q3655763) (← links)
- (Q4449205) (← links)
- Parameterizing higher-order processes on names and processes (Q5108373) (← links)
- Bisimulation and Co-induction: Some Problems (Q5262977) (← links)
- Types for ambient and process mobility (Q5458067) (← links)
- Applying a testing approach to the Calculus of Fair Ambients (Q5850754) (← links)
