Towards the Integration of Real-Time and Probabilistic-Time Process Algebras (1999)

by M Bravetti
Venue:in Proc. of the 3rd European Research Seminar on Advances in Distributed Systems (ERSADS '99), Madeira Island