A process algebraic view of shared dataspace coordination
From MaRDI portal
Publication:2474048
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
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
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)