Semantic models of a timed distributed dataspace architecture

DOI10.1016/j.tcs.2004.09.020zbMath1070.68084OpenAlexW2155247227WikidataQ62047498 ScholiaQ62047498MaRDI QIDQ1770360

Jaco van de Pol, J. J. M. 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

Full abstractionDenotational semanticsOperational semanticsCompositional verificationDataspaces

Mathematics Subject Classification ID

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

Uses Software

• PVS
• Linda

Cites Work

• A fully abstract model for the exchange of information in multi-agent systems.
• Comparing coordination models and architectures using embeddings
• On the expressiveness of timed coordination models
• Tentative steps toward a development method for interfering programs
• Proofs of Networks of Processes
• Time, clocks, and the ordering of events in a distributed system
• Generative communication in Linda
• Formal Methods for Components and Objects
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item