Marco Bernardo;Marina Ribaudo;Nadia Busi
-;-;-
Integrating TwoTowers and GreatSPN through a compact net semantics
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras