Process calculi for coordination: From Linda to JavaSpaces

DOI10.1007/3-540-45499-3_16MaRDI QIDQ2767175zbMATH OpenFDO

Authors Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45499-3_16

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A process algebraic view of shared dataspace coordination
• scientific article; zbMATH DE number 1569118
• On the expressiveness of coordination via shared dataspaces
• A process algebraic view of Linda coordination primitives
• On the expressiveness of Linda coordination primitives.

Cited in

(15)

• On the expressiveness of coordination via shared dataspaces
• Expired data collection in shared dataspaces.
• Process calculi as a tool for studying coordination, contracts and session types
• Secure shared data-space coordination languages: a process algebraic survey
• A process algebraic view of shared dataspace coordination
• On the expressiveness of event notification in data-driven coordination languages
• scientific article; zbMATH DE number 1231593 (Why is no real title available?)
• Timed soft concurrent constraint programs: an interleaved and a parallel approach
• Formal specification of JavaSpaces architecture using CRL
• scientific article; zbMATH DE number 1569118 (Why is no real title available?)
• Time-fluid field-based coordination through programmable distributed schedulers
• Verification of flat FIFO systems
• Coordination Models and Languages
• On the expressiveness of joining and splitting
• An interleaving semantics of the timed concurrent language for argumentation to model debates and dialogue games

This page was built for publication: Process calculi for coordination: From Linda to JavaSpaces

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