Publication:2760248
From MaRDI portal
zbMath1062.68081MaRDI QIDQ2760248
Wang Yi, Bengt Jonsson, Kim Guldstrand Larsen
Publication date: 2001
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Constraint Markov chains, A randomized encoding of the \(\pi\)-calculus with mixed choice, Measuring the confinement of probabilistic systems, A hierarchy of probabilistic system types, Process-algebraic approaches for multi-agent systems: an overview, Switched PIOA: parallel composition via distributed scheduling, Fair testing, Making random choices invisible to the scheduler, Tempus fugit: How to plug it, Bialgebraic methods and modal logic in structural operational semantics, Algebraic theory of probabilistic processes., Specification, testing and implementation relations for symbolic-probabilistic systems, The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator, A framework for analyzing probabilistic protocols and its application to the partial secrets exchange, Modular construction of complete coalgebraic logics, Deciding probabilistic bisimilarity over infinite-state probabilistic systems, A modular approach to defining and characterising notions of simulation, From Gene Regulation to Stochastic Fusion