Report copyright - Scheduled Migration in Distributed Systems Gabriel Ciobanuconference/from2017/abstracts/slidesG...PLTM Syntax By employing atomic propositions, action guards and temporal constraints,
Please pass captcha verification before submit form