Stochastic process algebras

Authors:
Allan Clark;Stephen Gilmore;Jane Hillston;Mirco Tribastone
Affiliations:
LFCS, School of Informatics, University of Edinburgh;LFCS, School of Informatics, University of Edinburgh;LFCS, School of Informatics, University of Edinburgh;LFCS, School of Informatics, University of Edinburgh
Venue:
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Year:
2007

Citing 24
Cited 6

Communicating sequential processes

Communicating sequential processes
A compositional approach to performance modelling

A compositional approach to performance modelling
A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time

Theoretical Computer Science
An Efficient Algorithm for Aggregating PEPA Models

IEEE Transactions on Software Engineering
Communication and Concurrency

Communication and Concurrency
The theory of interactive generalized semi-Markov processes

Theoretical Computer Science
Performance modelling of hierarchical cellular networks using PEPA

Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Verifying a Performance Estimator for Parallel DBMSs

Euro-Par '98 Proceedings of the 4th International Euro-Par Conference on Parallel Processing
Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes

CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
A Temporal Calculus of Communicating Systems

CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
The NCSU Concurrency Workbench

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
An Overview and Synthesis on Timed Process Algebras

Proceedings of the Real-Time: Theory in Practice, REX Workshop
On Observing Nondeterminism and Concurrency

Proceedings of the 7th Colloquium on Automata, Languages and Programming
The Möbius Modeling Tool

PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
MPA: a Stochastic Process Algebra

MPA: a Stochastic Process Algebra
Software performance modelling using PEPA nets

WOSP '04 Proceedings of the 4th international workshop on Software and performance
Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models

WOSP '04 Proceedings of the 4th international workshop on Software and performance
Fluid Flow Approximation of PEPA models

QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Performance evaluation of backoff algorithms in 802.11 ad-hoc networks

Proceedings of the 3rd ACM international workshop on Performance evaluation of wireless ad hoc, sensor and ubiquitous networks
Securing Statically-verified Communications Protocols Against Timing Attacks

Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive Markov chains: and the quest for quantified quality

Interactive Markov chains: and the quest for quantified quality
A precedence PEPA model for performance and reliability analysis

EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Coping with the parallelism of bittorrent: conversion of PEPA to ODEs in dealing with state space explosion

FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Evaluating the scalability of a web service-based distributed e-learning and course management system

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods

Formal analysis techniques for gossiping protocols

ACM SIGOPS Operating Systems Review - Gossip-based computer networking
Rethinking the Use of Models in Software Architecture

QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Stochastic Process Algebra Based Software Process Simulation Modeling

ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
Lightweight testing of communication networks with e-motions

TAP'11 Proceedings of the 5th international conference on Tests and proofs
SENSORIA patterns

Rigorous software engineering for service-oriented systems
Configuring Systems of Massively Distributed, Autonomous and Interdependent Decision Makers

International Journal of Decision Support System Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this tutorial we give an introduction to stochastic process algebras and their use in performance modelling, with a focus on the PEPA formalism. A brief introduction is given to the motivations for extending classical process algebra with stochastic times and probabilistic choice. We then present an introduction to the modelling capabilities of the formalism and the tools available to support Markovian based analysis. The chapter is illustrated throughout by small examples, demonstrating the use of the formalism and the tools.