Coordinating durative actions

I. Nunes, José Luiz Fiadeiro, Wladyslaw M. Turski

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationCOORDINATION 1997
Subtitle of host publicationCoordination Languages and Models
EditorsD. Garlan, D. Le Métayer
Place of PublicationBerlin
PublisherSpringer Verlag
Pages115-130
Number of pages16
ISBN (Electronic)9783540695271
ISBN (Print)9783540633839
DOIs
Publication statusPublished - 1997
EventCOORDINATION 1997: Coordination Languages and Models: Second International Conference - Berlin, Germany
Duration: 1 Sept 19973 Sept 1997

Publication series

Name Lecture Notes in Computer Science
PublisherSpringer
Volume1282

Conference

ConferenceCOORDINATION 1997: Coordination Languages and Models
Country/TerritoryGermany
CityBerlin
Period1/09/973/09/97

Keywords

  • System State
  • Global State
  • Operational Semantic
  • Durative Action
  • Label Transition System

Fingerprint

Dive into the research topics of 'Coordinating durative actions'. Together they form a unique fingerprint.

Cite this