Transactions in RCCS

Lecture Notes in Computer Science

Volumn 3653, Issue , 2005, Pages 398-412

  Danos, Vincent ^a   Krivine, Jean ^b  

^a CNRS   (France)

^b INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS;

CCS; DISTRIBUTED BACKTRACK MECHANISM; RCCS;

CONCURRENT ENGINEERING;

EID: 27244447468     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11539452_31     Document Type: Conference Paper

References (13)

1. Robin Milner. Communication and Concurrency. International Series on Computer Science. Prentice Hall, 1989.
2. Vincent Danos and Jean Krivine. Reversible communicating systems. In Proceedings of CONCUR'04, volume 3170 of LNCS, pages 292-307. Springer, September 2004.
3. Robin Milner. Communicating and mobile systems: the π-calculus. Cambridge University Press, Cambridge, 1999.
4. Gérard Boudol and Ilaria Castellani. Permutation of transitions: An event structure semantics for CCS and SCCS. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, volume 354 of LNCS, pages 411-427. Springer, 1989.
5. Pierpaolo Degano and Corrado Priami. Non interleaving semantics for mobile processes. In Automata, Languages and Programming, volume 944 of LNCS, pages 660-667. Springer, 1995.
6. V. Cerny. Thermodynamical approach to the traveling salesman problem: An efficient simulation algorithm. J. Opt. Theory Appl., 45(1), 1985.
7. Uwe Nestmann and Benjamin C. Pierce. Decoding choice encodings. In Proceedings of CONCUR'96, volume 1119 of LNCS, pages 179-194. Springer, 1996.
8. Catuscia Palamidessi and Oltea Mihaela Herescu. A randomized encoding of the π-calculus with mixed choice. Theoretical Computer Science, 2004. To appear.
9. Roberta Bruni and Ugo Montanari. Zero-safe nets: Comparing the collective and individual token approaches. Information and Computation, 156(1-2), 2000.
10. Roberta Bruni, Cosimo Laneve, and Ugo Montanari. Orchestrating transactions in join calculus. In Proceedings of CONCUR'02, volume 2421 of LNCS, pages 321-336. Springer, 2002.
11. Jan A. Bergstra, Alban Ponse, and Jos van Wamel. Process algebra with back-tracking. In Proceedings of the REX School/Symposium, volume 803 of LNCS, pages 46-91. Springer, 1994.
12. Laura Bocchi, Cosimo Laneve, and Gianluigi Zavattaro. A calculus for long running transactions. In Proceedings of FMOODS 2003, volume 2884 of LNCS, pages 124-138. Springer, 2003.
13. Roberto Bruni, Hernán Melgratti, and Ugo Montanari. Nested commits for mobile calculi: extending Join. In Proceedings of IFIP-TCS'04, pages 569-582, 2004.