External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach

Joost-Pieter Katoen, Rom Langerak, Diego Latella. Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. In Richard L. Tenney, Paul D. Amer, M. Ümit Uyar, editors, Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE 93, Boston, MA, USA, 26-29 October 1993. Volume C-22 of IFIP Transactions, pages 253-268, North-Holland, 1993.

Authors

Joost-Pieter Katoen

This author has not been identified. It may be one of the following persons: Look up 'Joost-Pieter Katoen' in Google

Rom Langerak

This author has not been identified. Look up 'Rom Langerak' in Google

Diego Latella

This author has not been identified. Look up 'Diego Latella' in Google
runs on