dc.contributor.author | Banach, Richard | en |
dc.contributor.author | Arbab, Farhad | en |
dc.contributor.author | Papadopoulos, George Angelos | en |
dc.contributor.author | Glauert, J. R. W. | en |
dc.contributor.editor | Brogi, A. | en |
dc.contributor.editor | Pimentel E. | en |
dc.creator | Banach, Richard | en |
dc.creator | Arbab, Farhad | en |
dc.creator | Papadopoulos, George Angelos | en |
dc.creator | Glauert, J. R. W. | en |
dc.date.accessioned | 2019-11-13T10:38:23Z | |
dc.date.available | 2019-11-13T10:38:23Z | |
dc.date.issued | 2002 | |
dc.identifier.issn | 1571-0661 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/53602 | |
dc.description.abstract | 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 and communication protocols, from the development of the rest of the application | en |
dc.description.abstract | coincidentally 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.source | Formal Methods and Component Interaction (ICALP 2002 Satllite Workshop) | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-18944392941&doi=10.1016%2fS1571-0661%2804%2980446-8&partnerID=40&md5=d754a993b128375691cd4c312fb0529f | |
dc.subject | Computer software | en |
dc.subject | Mathematical models | en |
dc.subject | Network protocols | en |
dc.subject | Synchronization | en |
dc.subject | Semantics | en |
dc.subject | Message passing | en |
dc.subject | Formal logic | en |
dc.subject | Client server computer systems | en |
dc.subject | Coordination programming | en |
dc.subject | Manager state | en |
dc.subject | Source codes | en |
dc.title | IWIM semantics via fibred automata | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1016/S1571-0661(04)80446-8 | |
dc.description.volume | 66 | |
dc.description.issue | 4 | |
dc.description.startingpage | 3 | |
dc.description.endingpage | 17 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Conference code: 64767</p> | en |
dc.source.abbreviation | Electron.Notes Theor.Comput.Sci. | en |
dc.contributor.orcid | Papadopoulos, George Angelos [0000-0001-9250-4916] | |
dc.gnosis.orcid | 0000-0001-9250-4916 | |