Probabilistic mobile ambients
From MaRDI portal
Publication:1006650
DOI10.1016/j.tcs.2008.12.058zbMath1183.68400OpenAlexW2165686945MaRDI QIDQ1006650
Publication date: 25 March 2009
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://ora.ox.ac.uk/objects/uuid:1e08edc7-1c16-407c-88e6-eb6104caba03
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Counterexample-guided inductive synthesis for probabilistic systems ⋮ Semantic Analysis of Gossip Protocols for Wireless Sensor Networks
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Probabilistic and prioritized models of timed CSP
- Interactive Markov chains. And the quest for quantified quality
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- Bisimulation through probabilistic testing
- A logic for reasoning about time and reliability
- On the expressive power of movement and restriction in pure mobile ambients
- BioAmbients: an abstraction for biological compartments
- Reactive, generative, and stratified models of probabilistic processes
- Finite state Markovian decision processes
- Domain equations for probabilistic processes
- Model checking of probabilistic and nondeterministic systems
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Algebraic laws for nondeterminism and concurrency
- Process Algebra
- Noninterference through flow analysis
- Controlling interference in ambients
- Anytime, anywhere
- Extensionality and intensionality of the ambient logics
- Bisimulation congruences in safe ambients
- Barbed bisimulation
- Programming Languages and Systems
- On the Expressiveness of the Ambient Logic
- Coordination Models and Languages
This page was built for publication: Probabilistic mobile ambients