Parametric, Probabilistic, Timed Resource Discovery System

Camille Coti

This paper presents a fully distributed resource discovery and reservation system. Verification of such a system is important to ensure the execution of distributed applications on…