Expired data collection in shared dataspaces.
From MaRDI portal
Publication:1874282
DOI10.1016/S0304-3975(02)00867-8zbMath1038.68037MaRDI QIDQ1874282
Gianluigi Zavattaro, Nadia Busi
Publication date: 25 May 2003
Published in: Theoretical Computer Science (Search for Journal in Brave)
68P05: Data structures
Related Items
Encoding Asynchronous Interactions Using Open Petri Nets, When to Move to Transfer Nets, Nadia Busi's publications
Uses Software
Cites Work
- The algebra of timed processes, ATP: Theory and application
- On the expressiveness of Linda coordination primitives.
- A timed concurrent constraint language.
- Verifying programs with unreliable channels
- The Two-Phase Commitment Protocol in an Extended π-Calculus
- Generative communication in Linda
- Computability of Recursive Functions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item