Zero-safe net models for transactions in Linda1 1Research supported by the TMR Network GETGRATS and by the MURST Project TOSCA.
Open Access
- 1 August 2001
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 54, 106-116
- https://doi.org/10.1016/s1571-0661(04)00239-7
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Transactions and Zero-Safe NetsPublished by Springer Nature ,2001
- High-Level Petri Nets as Type Theories in the Join CalculusPublished by Springer Nature ,2001
- Executing Transactions in Zero-Safe NetsPublished by Springer Nature ,2000
- Comparing three semantics for Linda-like languagesTheoretical Computer Science, 2000
- Process Calculi for Coordination: From Linda to JavaSpacesPublished by Springer Nature ,2000
- Algebraic Models for Contextual NetsPublished by Springer Nature ,2000
- Zero-Safe Nets: Comparing the Collective and Individual Token ApproachesInformation and Computation, 2000
- On the Expressiveness of Linda Coordination PrimitivesInformation and Computation, 2000
- Zero-safe nets: The individual token approachPublished by Springer Nature ,1998
- Zero-Safe Nets, or Transition Synchronization Made SimpleElectronic Notes in Theoretical Computer Science, 1997