A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification

2006 ◽  
pp. 327-342 ◽  
Author(s):  
Suzana Andova ◽  
Jos C. M. Baeten ◽  
Tim A. C. Willemse
Keyword(s):  
Protocol Verification ◽  
Probabilistic Systems ◽  
Branching Bisimulation

scholarly journals Branching bisimulation congruence for probabilistic systems

2012 ◽  
Vol 413 (1) ◽  
pp. 58-72 ◽  
Author(s):  
Suzana Andova ◽  
Sonja Georgievska ◽  
Nikola Trčka
Keyword(s):  
Probabilistic Systems ◽  
Branching Bisimulation

scholarly journals Branching Bisimulation Congruence for Probabilistic Systems

2008 ◽  
Vol 220 (3) ◽  
pp. 129-143 ◽  
Author(s):  
Nikola Trčka ◽  
Sonja Georgievska
Keyword(s):  
Probabilistic Systems ◽  
Branching Bisimulation

scholarly journals Branching bisimulation for probabilistic systems: Characteristics and decidability

2006 ◽  
Vol 356 (3) ◽  
pp. 325-355 ◽  
Author(s):  
Suzana Andova ◽  
Tim A.C. Willemse
Keyword(s):  
Probabilistic Systems ◽  
Branching Bisimulation

Abstraction and refinement in probabilistic systems

2005 ◽  
Vol 32 (4) ◽  
pp. 41-47 ◽  
Author(s):  
Annabelle McIver ◽  
Carroll Morgan
Keyword(s):  
Probabilistic Systems

H-DBUG: A High-level Debugging Framework for Protocol Verification using Assertions

2006 ◽  
Author(s):  
A. Nandi ◽  
B. Pal ◽  
N. Chhetan ◽  
P. Dasgupta ◽  
P.P. Chakrabarti
Keyword(s):  
Protocol Verification ◽  
High Level

Protocol Verification via Projections

1984 ◽  
Vol SE-10 (4) ◽  
pp. 325-342 ◽  
Author(s):  
Simon S. Lam ◽  
A. Udaya Shankar
Keyword(s):  
Protocol Verification

scholarly journals A logical duality for underspecified probabilistic systems

2011 ◽  
Vol 209 (5) ◽  
pp. 850-871 ◽  
Author(s):  
Josée Desharnais ◽  
François Laviolette ◽  
Amélie Turgeon
Keyword(s):  
Probabilistic Systems
Sign in / Sign up

Export Citation Format

Share Document