Sciweavers

ACSD
2008
IEEE

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

14 years 2 days ago
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 alternating bit protocol with generally-distributed unreliable channels in the language . We compare performance analysis using timed probabilistic reward graphs and discrete-event simulation.
Jasen Markovski, Erik P. de Vink
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where ACSD
Authors Jasen Markovski, Erik P. de Vink
Comments (0)