Implementing Distributed Controllers for Systems with Priorities

Imene Ben-Hafaiedh, Susanne Graf, Hammadi Khairallah

Implementing a component-based system in a distributed way so that it ensures some global constraints is a challenging problem. We consider here abstract specifications consisting…