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.

• Type: Conference
• Year: 2008
• Where: ACSD
• Authors: Jasen Markovski, Erik P. de Vink
• Keywords: ACSD 2008, Discrete-time Delays, Generally-distributed Stochastic Delays, Hardware, Maximal Progress Operator