Markovian Process Algebra: Composition and Equivalence,” (1994)

by P Buchholz
Venue:Proc. Second Workshop Process Algebras and Performance Modelling, Arbeitsberichte des IMMD,