Specification of Stochastic Properties with CSP

• Authors:

• Krishna M. Kavi;Frederick T. Sheldon

• Affiliations:

• -;-

• Venue:
• Proceedings of the 1994 International Conference on Parallel and Distributed Systems
• Year:
• 1994