Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems

We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the parallel composition and the maximal progress operator. The approach is illustrated by a specification of the concurrent alter...

Full description

Saved in:
Bibliographic Details
Main Authors: Markovski, J., de Vink, E.P.
Format: Conference Proceeding
Language:English
Subjects:
Algebra
Automata
Clocks
Delay effects
Discrete event simulation
Performance analysis
Protocols
Real time systems
Stochastic processes
Stochastic systems
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the parallel composition and the maximal progress operator. The approach is illustrated by a specification of the concurrent alternating bit protocol with generally-distributed unreliable channels in the language chi. We compare performance analysis using timed probabilistic reward graphs and discrete-event simulation.
ISSN:1550-4808
2374-8567
DOI:10.1109/ACSD.2008.4574610