Probabilistic mobile ambients

DOI10.1016/j.tcs.2008.12.058zbMath1183.68400OpenAlexW2165686945MaRDI QIDQ1006650

J. Martínez

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

zbMATH Keywords

probabilistic verificationmobile ambientsambient logic

Mathematics Subject Classification ID

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

• PRISM

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