Show simple item record

dc.contributor.authorBanach, Richarden
dc.contributor.authorArbab, Farhaden
dc.contributor.authorPapadopoulos, George Angelosen
dc.contributor.authorGlauert, J. R. W.en
dc.contributor.editorBrogi, A.en
dc.contributor.editorPimentel E.en
dc.creatorBanach, Richarden
dc.creatorArbab, Farhaden
dc.creatorPapadopoulos, George Angelosen
dc.creatorGlauert, J. R. W.en
dc.date.accessioned2019-11-13T10:38:23Z
dc.date.available2019-11-13T10:38:23Z
dc.date.issued2002
dc.identifier.issn1571-0661
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/53602
dc.description.abstractCoordination 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 and communication protocols, from the development of the rest of the applicationen
dc.description.abstractcoincidentally making these entities into standalone products. The IWIM coordination model is briefly reviewed, and a formal automata theoretic version of the model is developed, capturing the essentials of the framework in a fibration based approach. Specifically, families of worker automata have their communication governed by a state of a manager automaton, whose transitions correspond to reconfigurations. © 2002 Published by Elsevier Science B. V.en
dc.sourceFormal Methods and Component Interaction (ICALP 2002 Satllite Workshop)en
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-18944392941&doi=10.1016%2fS1571-0661%2804%2980446-8&partnerID=40&md5=d754a993b128375691cd4c312fb0529f
dc.subjectComputer softwareen
dc.subjectMathematical modelsen
dc.subjectNetwork protocolsen
dc.subjectSynchronizationen
dc.subjectSemanticsen
dc.subjectMessage passingen
dc.subjectFormal logicen
dc.subjectClient server computer systemsen
dc.subjectCoordination programmingen
dc.subjectManager stateen
dc.subjectSource codesen
dc.titleIWIM semantics via fibred automataen
dc.typeinfo:eu-repo/semantics/article
dc.identifier.doi10.1016/S1571-0661(04)80446-8
dc.description.volume66
dc.description.issue4
dc.description.startingpage3
dc.description.endingpage17
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeArticleen
dc.description.notes<p>Conference code: 64767</p>en
dc.source.abbreviationElectron.Notes Theor.Comput.Sci.en
dc.contributor.orcidPapadopoulos, George Angelos [0000-0001-9250-4916]


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record