Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language

Marco Bernardo, Lorenzo Donatiello, Paolo Ciancarini. Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. In Mariacarla Calzarossa, Salvatore Tucci, editors, Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures. Volume 2459 of Lecture Notes in Computer Science, pages 236-260, Springer, 2002. [doi]

Abstract

Abstract is missing.