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

    Documents Related by Co-Citation

    3219 Communication and Concurrency – R Milner - 1990
    1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
    394 Algebraic Theory of Processes – M Hennessy - 1988
    218 Automatic verification of probabilistic concurrent finite-state programs – M Vardi - 1985
    658 Concurrency and automata on infinite sequences – D Park - 1981
    312 Calculi for synchrony and asynchrony – R Milner - 1983
    3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
    155 Reactive, Generative and Stratified Models of Probabilistic Processes – Rob J. Van Glabbeek, Scott A. Smolka, Bernhard Steffen - 1990
    1330 A Calculus of Communicating Systems – R Milner - 1980
    52 Verification of multiprocess probabilistic protocols – A Pnueli, L Zuck - 1986
    597 A Compositional Approach to Performance Modelling – Jane Hillston - 1996
    44 Probabilistic verification – A Pnueli, L D Zuck - 1993
    162 M.: The complexity of probabilistic verification – C Courcoubetis, Yannakakis - 1995
    87 It Usually Works: The Temporal Logic of Stochastic Systems – Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-vincentelli - 1995
    73 Equivalences, Congruences and Complete Axiomatizations of Probabilistic Processes – C-C Jou, S A Smolka - 1990
    36 Probabilistic communicating processes – K Seidel - 1995
    31 Probabilistic temporal logics for finite and bounded models, in: R. De Millo (Ed – S Hart, M Sharir - 1984
    94 Algebraic Reasoning for Probabilistic Concurrent Systems – Alessandro Giacalone, Chi-chang Jou, Scott A. Smolka - 1990
    68 S.: Axiomatizing probabilistic processes: ACP with generative probabilities – J Bergstra, J Baeten, Smolka - 1995