2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…