Semantic models of a timed distributed dataspace architecture

DOI10.1016/J.TCS.2004.09.020MaRDI QIDQ1770360zbMATH OpenOpenAlexWikidataFDO

Authors Jaco van de Pol, Jozef Hooman

Publication date 6 April 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://ir.cwi.nl/pub/10554

zbMATH Keywords

Denotational semanticsFull abstractionOperational semanticsCompositional verificationDataspaces

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Semantics in the theory of computing (68Q55)

Recommendations

• Equivalent semantic models for a distributed dataspace architecture.
• Formal timing analysis of distributed systems
• scientific article; zbMATH DE number 1985648
• scientific article; zbMATH DE number 3902019
• Distribution of a simple shared dataspace architecture

Cites work

• scientific article; zbMATH DE number 1705160 (Why is no real title available?)
• scientific article; zbMATH DE number 3890715 (Why is no real title available?)
• scientific article; zbMATH DE number 4011913 (Why is no real title available?)
• scientific article; zbMATH DE number 2182596 (Why is no real title available?)
• A fully abstract model for the exchange of information in multi-agent systems.
• Comparing coordination models and architectures using embeddings
• Concurrency verification. Introduction to compositional and noncompositional methods
• Distribution of a simple shared dataspace architecture
• Equivalent semantic models for a distributed dataspace architecture.
• Generative communication in Linda
• On the expressiveness of timed coordination models
• Proofs of Networks of Processes
• Tentative steps toward a development method for interfering programs
• Time, clocks, and the ordering of events in a distributed system

Cited in

(4)

• Timed-pNets: a communication behavioural semantic model for distributed systems
• scientific article; zbMATH DE number 1985648 (Why is no real title available?)
• Distribution of a simple shared dataspace architecture
• Equivalent semantic models for a distributed dataspace architecture.

Describes a project that uses

Uses Software

• Linda
• PVS

This page was built for publication: Semantic models of a timed distributed dataspace architecture

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