11 citations · 26 across the 4 of their papers we have counts for
4 papers
A Procedure for Splitting Processes and its Application to Coordination
Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
We present a procedure for splitting processes in a process algebra with multi-actions (a subset of the specification language mCRL2). This splitting procedure cuts a process into…
A Type-Safe Model of Adaptive Object Groups
Joakim Bjørk, Dave Clarke, Einar Broch Johnsen +1
Services are autonomous, self-describing, technology-neutral software units that can be described, published, discovered, and composed into software applications at runtime. Design…
Decoupled execution of synchronous coordination models via behavioural automata
José Proença, Dave Clarke, Erik de Vink +1
Synchronous coordination systems allow the exchange of data by logically indivisible actions involving all coordinated entities. This paper introduces behavioural automata, a logic…
Coordination via Interaction Constraints I: Local Logic
Dave Clarke, José Proença
Wegner describes coordination as constrained interaction. We take this approach literally and define a coordination model based on interaction constraints and partial, iterative an…