A process algebraic view of shared dataspace coordination

DOI10.1016/J.JLAP.2007.06.003MaRDI QIDQ2474048zbMATH OpenOpenAlexFDO

Authors Nadia Busi, Gianluigi Zavattaro

Publication date 5 March 2008

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2007.06.003

zbMATH Keywords

process calculitransactionsevent notificationtuple spacescoordination models and languages

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1696890
• On the expressiveness of coordination via shared dataspaces
• Coordination languages for parallel programming
• Comparative analysis of the expressiveness of shared dataspace coordination
• Secure shared data-space coordination languages: a process algebraic survey

Cites work

• scientific article; zbMATH DE number 1629939 (Why is no real title available?)
• scientific article; zbMATH DE number 1696890 (Why is no real title available?)
• scientific article; zbMATH DE number 1705160 (Why is no real title available?)
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1231686 (Why is no real title available?)
• scientific article; zbMATH DE number 2087394 (Why is no real title available?)
• A calculus of mobile processes. II
• A process algebraic view of Linda coordination primitives
• Comparing three semantics for Linda-like languages
• Complexity results for 1-safe nets
• Engineering Self-Organising Systems
• Generative communication in Linda
• On the expressiveness of Linda coordination primitives.
• Testing equivalences for processes
• The chemical abstract machine
• The two-phase commitment protocol in an extended \(\pi\)-calculus
• Transition system specifications with negative premises

Cited in

(17)

• A coordination language for databases
• On the expressiveness of multiplicities in data-based coordination languages
• Process calculi as a tool for studying coordination, contracts and session types
• scientific article; zbMATH DE number 1705160 (Why is no real title available?)
• Dynamic consistency in process algebra: from paradigm to ACP
• On the expressiveness of coordination via shared dataspaces
• Nadia Busi's publications
• Comparative analysis of the expressiveness of shared dataspace coordination
• Formal Methods for Components and Objects
• Secure shared data-space coordination languages: a process algebraic survey
• Encoding Asynchronous Interactions Using Open Petri Nets
• scientific article; zbMATH DE number 845589 (Why is no real title available?)
• NetWorkSpace: A coordination system for high-productivity environments
• Blackboard relations in the \(\mu\text{Log}\) coordination model
• scientific article; zbMATH DE number 1696890 (Why is no real title available?)
• scientific article; zbMATH DE number 1569118 (Why is no real title available?)
• scientific article; zbMATH DE number 2087396 (Why is no real title available?)

Describes a project that uses

Uses Software

• Linda
• LIME
• KLAIM
• MANIFOLD

This page was built for publication: A process algebraic view of shared dataspace coordination

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