Applying quasi-separability to Markovian process algebra (1998)

by N Thomas, S Gilmore
Venue:Proceedings of the Sixth International Workshop on Process Algebra for Performance Modelling