@inproceedings{acff97113a214bfbb0976ecce10be526,
title = "Coordinating durative actions",
abstract = "A computing paradigm is presented for coordinating the execution of durative actions, i.e. actions which, although executed atomically on a private local state, have a duration in the sense that the system state in which they finish executing is not necessarily the same in which they started. Just as in traditional coordination languages, the coordination model that is responsible for controlling the interference between the actions is independent from the computation model in which actions execute. This coordination model is formalised through an operational and a denotational semantics, both parameterised by those of the underlying computational model.",
keywords = "System State, Global State, Operational Semantic, Durative Action, Label Transition System",
author = "I. Nunes and Fiadeiro, {Jos{\'e} Luiz} and Turski, {Wladyslaw M.}",
year = "1997",
doi = "10.1007/3-540-63383-9_76",
language = "English",
isbn = "9783540633839",
series = " Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "115--130",
editor = "D. Garlan and {Le M{\'e}tayer}, D.",
booktitle = "COORDINATION 1997",
address = "Germany",
note = "COORDINATION 1997: Coordination Languages and Models : Second International Conference ; Conference date: 01-09-1997 Through 03-09-1997",
}