A principled exploration of coordination models

DOI10.1016/J.TCS.2004.11.012MaRDI QIDQ555789zbMATH OpenOpenAlexFDO

Authors Gruia-Catalin Roman, Jamie Payton

Publication date 10 June 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://openscholarship.wustl.edu/cgi/viewcontent.cgi?article=1992&context=cse_research

zbMATH Keywords

AgentsCoordinationFormal specificationMobilityModelingSchemaVerification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Recommendations

• scientific article; zbMATH DE number 1951187
• A component coordination model based on mobile channels
• A coordination approach to mobile components
• Software architectures and coordination models
• Coordination Models and Languages

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• A calculus of mobile processes. II
• A notation and logic for mobile computing
• An axiomatic basis for computer programming
• Generative communication in Linda
• Mobile ambients
• Nomadic Pict: correct communication infrastructure for mobile computation
• PICCOLA -- a small composition language
• Separating computation, coordination and configuration
• Stepwise refinement of parallel algorithms

Cited in

(13)

• Modeling coordinated work: Definition and application of the model ``Coordinated work environment
• Software architectures and coordination models
• scientific article; zbMATH DE number 1951187 (Why is no real title available?)
• scientific article; zbMATH DE number 5519816 (Why is no real title available?)
• Coordination Models and Languages
• Coordination Models and Languages
• Coordination Models and Languages
• scientific article; zbMATH DE number 1630019 (Why is no real title available?)
• A component coordination model based on mobile channels
• Coordination via interaction constraints. I: Local logic
• scientific article; zbMATH DE number 6159491 (Why is no real title available?)
• A Coordination Model for Interactive Components
• scientific article; zbMATH DE number 2087393 (Why is no real title available?)

Describes a project that uses

Uses Software

• Linda
• PICCOLA

This page was built for publication: A principled exploration of coordination models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q555789)