Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Expired data collection in shared dataspaces.

From MaRDI portal
Publication:1874282
Jump to:navigation, search

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)


zbMATH Keywords

coordination modelstemporary data


Mathematics Subject Classification ID

Data structures (68P05)


Related Items (3)

When to Move to Transfer Nets ⋮ Encoding Asynchronous Interactions Using Open Petri Nets ⋮ Nadia Busi's publications


Uses Software

  • Linda


Cites Work

  • Unnamed Item
  • Unnamed Item
  • Unnamed Item
  • Unnamed Item
  • Unnamed Item
  • Unnamed Item
  • 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




This page was built for publication: Expired data collection in shared dataspaces.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1874282&oldid=14268632"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 1 February 2024, at 11:51.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki