Unified specification and performance evaluation using stochastic process algebras

Authors:
Roberto Gorrieri;Ulrich Herzog;Jane Hillston
Affiliations:
University of Bologna, Bologna, Italy;University of Erlangen, Informatik 7, Martensstr. 3, 90158 Erlangen, Germany;University of Edinburgh, Edinburgh, UK
Venue:
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Year:
2002

Communicating sequential processes

Communicating sequential processes
Introduction to operations research, 4th ed.

Introduction to operations research, 4th ed.
Introduction to the ISO specification language LOTOS

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time

Theoretical Computer Science
Communication and Concurrency

Communication and Concurrency
Formal methods for performance evaluation

Lectures on formal methods and performance analysis
Exploiting structure in solution: decomposing compositional models

Lectures on formal methods and performance analysis
Performance Evaluation: Origins and Directions

Performance Evaluation: Origins and Directions
Formal Description, Time and Performance Analysis. A Framework

Entwurf und Betrieb verteilter Systeme, Fachtagung des Sonderforschungsbereiche 124 und 182,
MPA: a Stochastic Process Algebra

MPA: a Stochastic Process Algebra

Hi-index	0.00