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

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

Abstraction and refinement in probabilistic systems

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

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

scholarly journals Incremental Runtime Verification of Probabilistic Systems

2013 ◽  
pp. 314-319 ◽  
Author(s):  
Vojtěch Forejt ◽  
Marta Kwiatkowska ◽  
David Parker ◽  
Hongyang Qu ◽  
Mateusz Ujma
Keyword(s):  
Runtime Verification ◽  
Probabilistic Systems

scholarly journals A Logical Approach to Multilevel Security of Probabilistic Systems

1998 ◽  
Author(s):  
III Gray ◽  
Syverson James W. ◽  
Paul F.
Keyword(s):  
Multilevel Security ◽  
Logical Approach ◽  
Probabilistic Systems
Sign in / Sign up

Export Citation Format

Share Document