Author:
Roccetti Marco,Aldini Alessandro,Bernardo Marco,Gorrieri Roberto
Subject
Applied Mathematics,Modeling and Simulation
Reference17 articles.
1. Comparing the QoS of Internet audio mechanisms via formal methods
2. Bernardo M. 1999 Theory and application of extended Markovian process algebra Ph.D. Dissertation University of Bologna Italy (http://www.sti.uniurb.it/bernardo/publications/theses.html)
3. Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language