A Theory of Efficiency for Markovian Processes
Marco Bernardo, W. R. Cleaveland · 1999
S. All local authors can be reached via e-mail at the address [email protected]. Questions and comments should be addressed to [email protected]. Recent Titles from the UBLCS Technical Report Series 98-11 Structuring Sub-Populations in Parallel Genetic Algorithms for MPP, R. Gaioni, R. Davoli, June 1998. 98-12 The Jgroup Reliable Distributed Object Model, A. Montresor, December 1998 (Revised March 1999). 99-1 Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement, M. Bravetti, R. Gorrieri, February 1999. 99-2 A Theory of Efficiency for Markovian Processes, M. Bernardo, W.R. Cleaveland, February 1999. 99-3 A Reliable Registry for the Jgroup Distributed Object Model, A. Montresor, March 1999. 99-4 Comparing the QoS of Internet Audio Mechanisms via Formal Methods, A. Aldini, M. Bernardo, R. Gorrieri, M. Roccetti, March 1999. 99-5 Group-Enhanced Remote Method Invocations, A. Montresor, R. Davoli, O. Babao glu, April 1999. 99-6 Managi...