R. Bruni and U. Montanari. Zero-safe nets: Modeling transactions via transition synchronization (abstract). Technical Report CS-2000-01, Computer Science Department, University Ca' Foscari of Venice, 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Appligraph: Applications of Graph Transformation - Fourth.. - Kreowski, (eds.) (2001) (Correct)
....notion of transaction atomic computation obtained via the synchronization mechanism and can provide a compositional semantic framework for many ccs like calculi. In [BM01] the approach has been extended to deal with read arcs (which allow for multiple access in reading to the same token) Papers [BM00a, BM00b] summarize the theoretical foundation and the applications of zero safe nets. 4.3.6 Design and Implementation of Programming Languages The research group in Nijmegen investigates the suitability of the functional language concurrent clean for the timely development and maintanance of quality ....
R. Bruni and U. Montanari. Zero-safe nets: Modeling transactions via transition synchronization (abstract). Technical Report CS-
Appligraph: Applications of Graph Transformation - Final Report - Kreowski, (eds.) (2002) (Correct)
No context found.
R. Bruni and U. Montanari. Zero-safe nets: Modeling transactions via transition synchronization (abstract). Technical Report CS-2000-01, Computer Science Department, University Ca' Foscari of Venice, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC