The following pages link to Mobile ambients (Q1575154):
Displaying 50 items.
- Using bigraphs to model topological graphs embedded in orientable surfaces (Q383361) (← links)
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- Processes in space (Q418828) (← links)
- Reachability problems in BioAmbients (Q418830) (← links)
- A model checking-based approach for security policy verification of mobile systems (Q432137) (← links)
- Ambient abstract state machines with applications (Q439957) (← links)
- A semantics for behavior trees using CSP with specification commands (Q549693) (← links)
- Decidability and complexity of Petri nets with unordered data (Q554219) (← links)
- A principled exploration of coordination models (Q555789) (← links)
- Automata and processes on multisets of communicating objects (Q609033) (← links)
- A pure labeled transition semantics for the applied pi calculus (Q621583) (← links)
- A decentralised graphical implementation of mobile ambients (Q624388) (← links)
- Timed mobility in process algebra and Petri nets (Q638567) (← links)
- A timed calculus for wireless systems (Q650891) (← links)
- Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
- Spatial calculus of looping sequences (Q652132) (← links)
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- The calculus of context-aware ambients (Q716296) (← links)
- Specification and refinement of mobile systems in MTLA and mobile UML (Q820132) (← links)
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- An exercise in structural congruence (Q845877) (← links)
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- A framework for security analysis of mobile wireless networks (Q860908) (← links)
- A core calculus for correlation in orchestration languages (Q861302) (← links)
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- Space-aware ambients and processes (Q875514) (← links)
- Fair ambients (Q877172) (← links)
- An efficient abstract machine for safe ambients (Q882488) (← links)
- Strategy based semantics for mobility with time and access permissions (Q890480) (← links)
- Theory of interaction (Q896903) (← links)
- Typed context awareness ambient calculus for pervasive applications (Q903500) (← links)
- The logic of message-passing (Q923880) (← links)
- Access control in mobile ambient calculi: a comparative view (Q930876) (← links)
- Role-based access control for boxed ambients (Q930879) (← links)
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- Reachability analysis of fragments of mobile ambients in AC term rewriting (Q939167) (← links)
- Pathway analysis for BioAmbients (Q953532) (← links)
- Bitonal membrane systems: interactions of biological membranes (Q953534) (← links)
- A simple calculus for proteins and cells (Q953549) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- An operational semantics for a calculus for wireless systems (Q964487) (← links)
- Hybrid logical analyses of the ambient calculus (Q964494) (← links)
- A process calculus for mobile ad hoc networks (Q967528) (← links)
- Event based choreography (Q988170) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- Flow-sensitive type systems and the ambient calculus (Q1029816) (← links)
