Time-Aware Coordination in ReSpecT

@talk{timedcoord05,
    abstract = {Tuple centres allow for dynamic programming of the coordination media: coordination laws are expressed and enforced as the behaviour specification of tuple centres, and can change over time. Since time is essential in a large number of coordination problems and patterns (involving timeouts, obligations, commitments), coordination laws should be expressive enough to capture and govern time-related issues. Along this line, in this paper we discuss how tuple centres and the {{respect /}} language for programming logic tuple centres can be extended to catch with time, and to support the definition and enforcement of time-aware coordination policies. Some examples are provided to demonstrate the expressiveness of the {{respect /}} language to model timed coordination primitives and laws.},
    address = {Namur, Belgium},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    date = {2005-04-20},
    howpublished = {COORDINATION 2005},
    language = {en},
    month = apr,
    sort = {talk},
    speaker = {Omicini, Andrea},
    title = {Time-Aware Coordination in ReSpecT},
    type = {Talk},
    year = 2005
}