2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.DC2020
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems
Wang Yi, Morteza Mohaqeqi, Susanne Graf
Inspired by the pioneering work of Gilles Kahn on concurrent systems, we propose to model timed systems as a network of software components (implemented as real-time processes or t…
cs.DC2010★ 2 cited
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…