Prototype Platforms for Distributed Agreements

Electronic Notes in Theoretical Computer Science

Volumn 180, Issue 2, 2007, Pages 21-40

  Baragatti, Alberto ^a   Bruni, Roberto ^a   Melgratti, Hernán ^a   Montanari, Ugo ^a   Spagnolo, Giorgio ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Distributed 2PC; Distributed negotiations; Jocaml; Multiway transactions; Polyphonic C music sharp sign

Indexed keywords

AD HOC NETWORKS; COMMUNICATION SYSTEMS; DISASTERS; NETWORK PROTOCOLS;

ASYNCHRONOUS COMMUNICATION; DISTRIBUTED NEGOTIATIONS; JOCAML; MULTIWAY TRANSACTIONS;

CONTRACTS;

EID: 34250192880     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.10.044     Document Type: Article

References (10)

1. {music sharp sign}. In: Magnusson B. (Ed). ECOOP 2002 - Object-Oriented Programming, 16th European Conference. Lect. Notes in Comput. Sci. 2374 (2002) 415-440
2. Bernstein P., Hadzilacos V., and Goodman N. Concurrency, Control and Recovery in Database Systems (1987), Addison-Wesley Longman
3. Bruni R., Laneve C., and Montanari U. Orchestrating transactions in join calculus. In: Brim L., Jancar P., Kretinsky M., and Kucera A. (Eds). Proceedings of CONCUR 2002, 13th International Conference on Concurrency Theory. Lect. Notes in Comput. Sci. 2421 (2002) 321-336
4. Bruni R., Melgratti H., and Montanari U. Flat Committed Join in Join. In: Honsell F., Lenisa M., and Miculan M. (Eds). Proceedings of CoMeta 2003, Final Workshop of the CoMeta Project. Elect. Notes in Th. Comput. Sci. (2004) 39-54
5. Bruni, R., H. Melgratti and U. Montanari, Nested commits for mobile calculi: extending Join, in J-J. Lévy, E.W. Mayr and J. Mitchell: Proceedings of the 3rd IFIP-TCS 2004, 2004, pp. 569-582
6. Conchon, S. and F. Le Fessant, Jocaml: Mobile agents for Objective-Caml, in: 1st International Symposium on Agent Systems and Applications (ASA'99)/3rd International Symposium on Mobile Agents (MA'99), 1999, pp. 22-29
7. Fournet, C. and G. Gonthier, The reflexive chemical abstract machine and the Join calculus, in: Proceedings of POPL'96, 23rd Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (1996), pp. 372-385
8. Lynch N. Distributed Algorithms (1996), Morgan Kaufmann Publishers
9. IS-MANET. Un possibile scenario per la piattaforma IS-MANET. On-line documentation of the MIUR Project IS-MANET. Available at (2003). http://zeus.elet.polimi.it/is-manet/
10. Ma Q., and Maranget L. Compiling Pattern Matching in Join-Patterns. In: Gardner P., and Yoshida N. (Eds). Proceedings of CONCUR 2004, 15th International Conference on Concurrency Theory. Lect. Notes in Comput. Sci. 3170 (2004) 417-431