Exploiting Quasi-reversible Structures in Markovian Process Algebra Models

Peter G. Harrison, Jane Hillston. Exploiting Quasi-reversible Structures in Markovian Process Algebra Models. Comput. J., 38(7):510-520, 1995.

Abstract

Abstract is missing.