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