Semantic models of a timed distributed dataspace architecture
From MaRDI portal
Publication:1770360
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
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)
Uses Software
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