Telecharger Cours

UNIVERSITY OF TRENTO

We present a framework for performance prediction of distributed and mobile systems. We rely on process calculi and their structural operational semantics.



Download