Trace-based Process Algebras for Real-time Probabilistic Systems (2005)

by S Cattani