Execution of distributed reactive systems | doi.page