The following pages link to Mobile ambients (Q1575154):
Displaying 50 items.
- A semantic framework for open processes (Q2463561) (← links)
- Tutorial on separation results in process calculi via leader election problems (Q2464946) (← links)
- CCS with priority guards (Q2474050) (← links)
- Symmetric electoral systems for ambient calculi (Q2475806) (← links)
- Information flow security in boundary ambients (Q2482455) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2491638) (← links)
- A CPS encoding of name-passing in higher-order mobile embedded resources (Q2491640) (← 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)
- Types for the ambient calculus (Q2497144) (← links)
- The seal calculus (Q2566220) (← links)
- On an open problem of Amadio and Curien: The finite antichain condition (Q2573335) (← links)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- Dynamic input/output automata: a formal and compositional model for dynamic systems (Q2629850) (← links)
- A Petri net model for membrane systems with dynamic structure (Q2655493) (← links)
- On the relative expressive power of calculi for mobility (Q2805161) (← links)
- On the expressive power of polyadic synchronisation in \(\pi \)-calculus (Q2842599) (← links)
- Intensionality of modal logic for robust ambient calculus (Q2844039) (← links)
- Rewriting calculus with(out) types (Q2851046) (← links)
- Structuring operational semantics: simplification and computation (Q2864160) (← links)
- Translating mobile ambients into P systems (Q2864193) (← links)
- On reachability and spatial reachability in fragments of BioAmbients (Q2864197) (← links)
- A simple calculus for proteins and cells (Q2864202) (← links)
- A model in {\(\kappa\)} for DNA addition (Q2864208) (← links)
- Virtual organizations in \texttt{Arigatoni} (Q2864213) (← links)
- Matching systems for concurrent calculi (Q2864374) (← links)
- Interaction in time and space (Q2864506) (← links)
- Active evaluation contexts for reaction semantics (Q2866316) (← links)
- Synchrony vs asynchrony in communication primitives (Q2866346) (← links)
- Extensionality of spatial observations in distributed systems (Q2866349) (← links)
- Modelling calculi with name mobility using graphs with equivalences (Q2867900) (← links)
- Expressiveness issues in brane calculi: a survey (Q2870193) (← links)
- Encoding distributed process calculi into LMNtal (Q2870199) (← links)
- Describing the immune system using enhanced mobile membranes (Q2870294) (← links)
- A static analysis for beta-binders (Q2870298) (← links)
- Coalgebraic Symbolic Semantics (Q2888486) (← links)
- Mobile ambients (Q2906944) (← links)
- A General Theory of Barbs, Contexts, and Labels (Q2946747) (← links)
- On Mobility and Communication (Q2994477) (← links)
- On the Expressiveness of the π-Calculus and the Mobile Ambients (Q3067465) (← links)
- Hunting Distributed Malware with the κ-Calculus (Q3088273) (← links)
- Typed ψ-calculi (Q3090835) (← links)
- Non-disclosure for distributed mobile code (Q3103611) (← links)
- On the expressiveness of π-calculus for encoding mobile ambients (Q3130299) (← links)
- Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs (Q3184683) (← links)
- Howe’s Method for Calculi with Passivation (Q3184692) (← links)
- (Q3384918) (← links)
- Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines (Q3458151) (← links)
- Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis (Q3506868) (← links)
