Sciweavers

89
Voted
ACSD
2008
IEEE
107views Hardware» more  ACSD 2008»
15 years 8 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 paral...
Jasen Markovski, Erik P. de Vink