A logic for a coordination model with multiple spaces

DOI10.1016/S0167-6423(97)00022-1MaRDI QIDQ1818362zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 4 January 2000

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0167-6423(97)00022-1

zbMATH Keywords

distributed programmingPoliSsoftware architecture

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• On the expressiveness of coordination via shared dataspaces
• scientific article; zbMATH DE number 1927564
• scientific article; zbMATH DE number 2087408

Cited in

(1)

• scientific article; zbMATH DE number 1140681 (Why is no real title available?)

This page was built for publication: A logic for a coordination model with multiple spaces

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