A Stochastic Causality-Based Process Algebra

Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella. A Stochastic Causality-Based Process Algebra. Comput. J., 38(7):552-565, 1995.

Abstract

Abstract is missing.