Bisimulation through probabilistic testing (1989)

Cached


Other Repositories/Bibliography

  • DBLP
  • by Kim G. Larsen , Arne Skou
    Venue:in “Conference Record of the 16th ACM Symposium on Principles of Programming Languages (POPL
    Citations:405 - 5 self

    Active Bibliography

    Structured Operational Semantics and . . . – - 1992
    18 Precongruence Formats for Decorated Trace Semantics
    7 Compositionality of Hennessy-Milner logic by structural operational semantics – - 2006
    2 Ordered SOS Process Languages for Branching and Eager Bisimulations – - 2002
    4 Modal Observation Equivalence of Processes – - 1995
    290 The Linear Time-Branching Time Spectrum II - The semantics of sequential systems with silent moves – - 1993
    11 A Formal Verification Environment for Railway Signaling System Design – - 1998
    2 Tools for a Calculus of Broadcasting Systems – - 1993
    2 On the Operational Semantics of Nondeterminism and Divergence – - 1995
    108 A Congruence Theorem for Structured Operational Semantics With Predicates – - 1993
    53 Specification Styles in Distributed Systems Design and Verification," in "Theoretical Computer Science '89", North-Holland – - 1991
    153 Reactive, Generative and Stratified Models of Probabilistic Processes – - 1990
    36 A general conservative extension theorem in process algebra – - 1994
    1 Formal Verification Based on Relation Checking in SPIN: A Case Study – - 1995
    95 Model Checking Partial State Spaces with 3-Valued Temporal Logics (Extended Abstract) – - 1999
    6 Metric semantics for reactive probabilistic processes – - 1997
    2 Formal Description and Validation for an Integrity Policy Supporting Multiple Levels of Criticality – - 1999
    2 Verification of LOTOS Specifications using Term Rewriting Techniques – - 1994
    10 SOS formats and meta-theory: 20 years after – - 2007