A process algebraic view of shared dataspace coordination

DOI10.1016/J.JLAP.2007.06.003zbMATH Open1135.68043OpenAlexW2001593378MaRDI QIDQ2474048FDOQ2474048

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The chemical abstract machine
• A calculus of mobile processes. II
• Generative communication in Linda
• Testing equivalences for processes
• Title not available (Why is that?)
• Transition system specifications with negative premises
• The two-phase commitment protocol in an extended \(\pi\)-calculus
• On the expressiveness of Linda coordination primitives.
• A process algebraic view of Linda coordination primitives
• Complexity results for 1-safe nets
• Comparing three semantics for Linda-like languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Engineering Self-Organising Systems
• Title not available (Why is that?)

Cited In (17)

• On the expressiveness of multiplicities in data-based coordination languages
• Process calculi as a tool for studying coordination, contracts and session types
• Title not available (Why is that?)
• On the expressiveness of coordination via shared dataspaces
• Dynamic consistency in process algebra: from paradigm to ACP
• 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
• Title not available (Why is that?)
• Blackboard relations in the \(\mu\text{Log}\) coordination model
• NetWorkSpace: A coordination system for high-productivity environments
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A coordination language for databases

Uses Software

• MANIFOLD
• KLAIM
• LIME
• Linda

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)