The objective of this tutorial is to describe the evolution of the field of stochastic process algebra in the past decade, through a presentation of the main achievements in the field. In particular, the tutorial stresses the current transformation of stochastic process algebra from a simple formalism to a fully fledged architectural description language for the functional verification and performance evaluation of complex computer, communication and software systems.
CITATION STYLE
Bernardo, M., Donatiello, L., & Ciancarini, P. (2002). Stochastic process algebra: From an algebraic formalism to an architectural description language. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2459, pp. 236–260). Springer Verlag. https://doi.org/10.1007/3-540-45798-4_11
Mendeley helps you to discover research relevant for your work.