Relating layered queueing networks and process algebra models.

Mirco Tribastone

Published in: WOSP/SIPEW (2010)

Keyphrases

queueing networks
real time
product form
stationary distribution
artificial intelligence
steady state
heavy traffic
asynchronous circuits
process algebra