On the serializability of transactions in javaSpaces

Electronic Notes in Theoretical Computer Science

Volumn 54, Issue , 2001, Pages 92-105

  Busi, Nadia ^a   Zavattaro, Gianluigi ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); DATA STRUCTURES; DATABASE SYSTEMS; MIDDLEWARE; MOBILE TELECOMMUNICATION SYSTEMS; SECURITY OF DATA; SEMANTICS;

DATA REPOSITORIES; JAVASPACES; SERIALIZABILITY; TRANSACTIONS;

JAVA PROGRAMMING LANGUAGE;

EID: 19144370269     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00238-5     Document Type: Conference Paper

References (9)

1. Berry G., Boudol G. The Chemical Abstract Machine. Theoretical Computer Science. 96:1992;217-248
2. N. De Francesco, U. Montanari, and G. Ristori. Modelling Concurrent Accesses to Shared Data via Petri Nets. In Proc. Programming Concepts, Methods and Calculi (PROCOMET), pages 403-422. Elsevier Publisher, 1994.
3. Freeman E., Hupfer S., Arnold K. JavaSpaces Principles, Patterns, and Practice. 1999;Addison-Wesley
4. Garcia-Molina H., Ullman J.D., Widom J. Database System Implementation. 2000;Prentice-Hall
5. Gelernter D. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems. 7:(1):1985;80-112
6. Sun Microsystems. JavaSpaces Service Specification, available at http://java.sun.com/products/javaspaces. 1998.
7. Milner R. Communication and Concurrency. 1989;Prentice-Hall
8. Papadopoulos G.A., Arbab F. Coordination Models and Languages. Advances in Computers. 46:1998;329-400
9. Wyckoff P., McLaughry S., Lehman T., Ford D. T spaces. IBM Systems Journal. 37:(3):1998;454-474