Anytime, anywhere: modal logics for mobile ambients
From MaRDI portal
(Redirected from Publication:5178865)
Recommendations
Cited in
(74)- Minimisation of spatial models using branching bisimilarity
- Specification and refinement of mobile systems in MTLA and mobile UML
- Ambient calculus and its logic in the calculus of inductive constructions
- A spatial logic for concurrency. I
- Adjunct elimination in context logic for trees
- Hybrid logical analyses of the ambient calculus
- A spatial logic for concurrency. II
- A fully abstract model for mobile ambients
- A process calculus for privacy-preserving protocols in location-based service systems
- A predicate spatial logic for mobile process
- Expressiveness results for an inductive logic of separated relations
- Spatial logic and spatial model checking for closure spaces
- Realist consequence, epistemic inference, computational correctness
- Modal logics for mobile processes
- Deciding safety properties in infinite-state pi-calculus via behavioural types
- Separation logics and modalities: a survey
- Validating firewalls using flow logics
- Checking modal contracts for virtually timed ambients
- Formal Methods for Components and Objects
- Elimination of quantifiers and undecidability in spatial logics for concurrency
- A logic of behaviour in context
- Kind Bigraphs
- Exponential-size model property for PDL with separating parallel composition
- Domain theory for concurrency
- A Coq library for verification of concurrent programs
- Expressiveness and complexity of graph logic
- A semantic framework for open processes
- A spatial equational logic for the applied \(\pi \)-calculus
- XML schema, tree logic and sheaves automata
- Model checking mobile stochastic logic
- Resources, concurrency, and local reasoning
- Towards a logic for performance and mobility
- Stochastic ambient calculus
- A modal logic for mobile agents
- Axiomatisation and decidability of multi-dimensional Duration Calculus
- Probabilistic mobile ambients
- Analysis of spatio-temporal properties of stochastic systems using TSTL
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Tutorial on separation results in process calculi via leader election problems
- A coordination approach to mobile components
- Elimination of spatial connectives in static spatial logics
- When ambients cannot be opened
- On Model Checking Boolean BI
- Concurrent weighted logic
- A generic type system for the pi-calculus
- Model checking mobile ambients
- Deciding reachability in mobile ambients with name restriction
- Spatial and behavioral types in the pi-calculus
- Separation Logic Semantics for Communicating Processes
- Linear and affine logics with temporal, spatial and epistemic operators
- Name-passing in an ambient-like calculus and its proof using spatial logic
- Spatial-behavioral types for concurrency and resource control in distributed systems
- Fair ambients
- Adjunct Elimination in Context Logic for Trees
- An algebraic glimpse at bunched implications and separation logic
- Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
- Modular games for coalgebraic fixed point logics
- Applying a testing approach to the calculus of fair ambients
- Intensionality of modal logic for robust ambient calculus
- A type inference algorithm for secure ambients
- A Spatial Equational Logic for the Applied π-Calculus
- Decidable Extensions of Hennessy-Milner Logic
- Spatial-Behavioral Types, Distributed Services, and Resources
- Deciding reachability problems in Turing-complete fragments of Mobile Ambients
- On the expressive power of movement and restriction in pure mobile ambients
- A Complete Axiomatic System for a Process-Based Spatial Logic
- Local reasoning about data update
- Manipulating trees with hidden labels
- Extensionality of spatial observations in distributed systems
- On bisimilarity for polyhedral models and \texttt{SLCS}
- A Spatial Logic for Simplicial Models
- Modular Markovian Logic
- Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding
- On symbolic semantics for name-decorated contexts
This page was built for publication: Anytime, anywhere: modal logics for mobile ambients
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5178865)
