Browsing by Author "Glauert, J. R. W."
Now showing items 1-2 of 2
-
Article
IWIM semantics via fibred automata
Banach, Richard; Arbab, Farhad; Papadopoulos, George Angelos; Glauert, J. R. W. (2002)Coordination programming helps to separate concerns in the programming of the coordination activities in complex applications software. It separates the development, verification, maintenance, and reuse of the coordination ...
-
Article
A multiply hierarchical automaton semantics for the IWIM coordination model
Banach, Richard; Arbab, Farhad; Papadopoulos, George Angelos; Glauert, J. R. W. (2003)The drawbacks of programming coordination activities directly within the applications software that needs them are briefly reviewed. Coordination programming helps to separate concerns, making complex coordination protocols ...