Compositional verification of probabilistic processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 630 LNCS, Issue , 1992, Pages 456-471

  Larsen, Kim G ^a   Skou, Arne ^a  

^a AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; DECOMPOSITION;

COMPLETE AXIOMATIZATIONS; COMPOSITIONAL VERIFICATION; LOGICAL SPECIFICATIONS; PROBABILISTIC PROCESS;

CALCULATIONS;

EID: 70349885792     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0084809     Document Type: Conference Paper

References (26)

1. H Andersen and G Winskel. Compositional Checking of Satisfaction. In Proceedings of CAV '91, 1991.
2. J. Bergstra and J. Klop. Process algebra for synchronous communication. Information and Control, 60:109-137, 1984.
3. B. Bloom and A. Meyer. A remark on bisimulation between probabilistic processes. In A. Meyer and M. Taitslin, editors, Logic at Botik '89, volume 363 of Lecture Notes in Computer Science, pages 26-40, 1989.
4. L Christoff. Tesing Equivalences for Probabilistic Processes. PhD thesis, Uppsala University, 1990.
5. R. Cleaveland, S. A. Smolka, and A. Zwarico. Testing Preorders for Probabilistic Proceases. To appear in Proceedings of ICALP '92, 1991.
6. H. Fagin, J. Y. Halpern, and N. Megiddo. A Logic for Reasoning about Probabilities. In Proceedings of LICS '88, pages 410-421, 1988.
7. A. Giacalone, C. Jou, and S. Smolka. Algebraic Reasoning for Probabilistic Concurrent Systems. In Proceedings of Working Conference on Programming Concetps and Methods. IFIP TC2, 1990.
8. M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988.
9. H. Hansson and B. Jonsson. A Calculus for Communicating Systems with Time and Probabilities. In Proc. 11th IEEE Real-Time System Symposium, Orlando, Florida, 1990.
10. M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the Association for Computing Machinery, pages 137-161, 1985.
11. C. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
12. B. Jonsson and K. G. Larsen. Specification and Refinement of Probabilistic Processes. In Proceedings of LICS '91, 1991.
13. C. Jones and G. Plotkin. A Probabilistic Powerdomain of Evaluations. In Proceedings of 4th LICS, 1989.
14. D. Kozen. Semantics of Probabilistic Programs. JCSS, 22, 1981.
15. D. Kozen. A Probabilistic PDL. In Proceedings 10th ACM POPL, 1983.
16. K.G. Larsen. Ideal specification formalism = expressivity + compositionality + decidability + testability + … Lecture Notes in Computer Science, 458, 1990. Invited paper at CONCUIt’90.
17. K. G. Larsen. The Expressive Power of Implicit Specifications. In Proceedings of ICALP’91, 1991.
18. K.G. Larsen and A. Skou. Bisimulatlon through probabilistic testing: Preliminary report. In Proceedings 16‘th ACM POPL, 1989. Full version in Information and Computation vol 94 no 1, 1991.
19. K. G. Larsen and L. Xinxin. Compositionality through an Operarional Semantics of Contexts. In Proceedings of ICALP '90, 1990. Full version in Journal of Logic Computation, vol. 1 no. 6, pp 761-795, 1991.
20. R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25:267-310, 1983.
21. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
22. A. Pnueli. Linear and branching structures in the semantics and logics of reactlve systems. In W. Braur, editor, ICALP '85, volume 194 of Lecture Notes in Computer Science, pages 15-32, 1985.
23. A. Pnueli and L. Zuck. Verification of Multiprocess Probabilistic Protocols. Distributed Computing, 1, 1986.
24. A. Skou. Validation of Concurrent Processes, with emphasis of testing. PhD thesis, Aalborg University Centre, 1989.
25. M. Y. Vardi. Automatic Verification of Probabilistic Concurrent Finite-State Programs. In Proceedings 26th IEEE FOCS, 1985.
26. R. van Glabbeek, B. Steffen, S.A. Smolka, and C.M.N. Torts. Reactive, Generative, and Stratified Models of Probabilistic Processes. In Proceedings of LICS '90, 1990.