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:402 - 5 self

    Active Bibliography

    Structured Operational Semantics and . . . – Jan Frisco Groote, et al. - 1992
    18 Precongruence Formats for Decorated Trace Semantics – Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
    7 Compositionality of Hennessy-Milner logic by structural operational semantics – Wan Fokkink , Rob van Glabbeek , Paulien de Wind - 2006
    2 Ordered SOS Process Languages for Branching and Eager Bisimulations – Irek Ulidowski, Iain Phillips - 2002
    4 Modal Observation Equivalence of Processes – W. P. R. Mitchell, D. P. Carlisle - 1995
    290 The Linear Time-Branching Time Spectrum II - The semantics of sequential systems with silent moves – R.J. van Glabbeek - 1993
    11 A Formal Verification Environment for Railway Signaling System Design – Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano - 1998
    2 Tools for a Calculus of Broadcasting Systems – Jenny Petersson - 1993
    2 On the Operational Semantics of Nondeterminism and Divergence – Hakan Erdogmus, Robert Johnston, Michael Ferguson - 1995
    109 A Congruence Theorem for Structured Operational Semantics With Predicates – J.C.M. Baeten, C. Verhoef - 1993
    52 Specification Styles in Distributed Systems Design and Verification," in "Theoretical Computer Science '89", North-Holland – Chris A. Vissers, Marten Van Sinderen - 1991
    155 Reactive, Generative and Stratified Models of Probabilistic Processes – Rob J. Van Glabbeek, Scott A. Smolka, Bernhard Steffen - 1990
    36 A general conservative extension theorem in process algebra – Pedro R. D’Argenio, Chris Verhoef - 1994
    1 Formal Verification Based on Relation Checking in SPIN: A Case Study – Hakan Erdogmus, Hakan Erdogmus, Robert Johnston, Robert Johnston, Charles Cleary, Charles Cleary - 1995
    96 Model Checking Partial State Spaces with 3-Valued Temporal Logics (Extended Abstract) – Glenn Bruns, Patrice Godefroid - 1999
    6 Metric semantics for reactive probabilistic processes – Gethin Josiah Norman - 1997
    2 Formal Description and Validation for an Integrity Policy Supporting Multiple Levels of Criticality – A. Fantechi, S. Gnesi, L. Semini - 1999
    12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
    2 Verification of LOTOS Specifications using Term Rewriting Techniques – Carron Elizabeth Kirkwood - 1994