Author:
Jagannathan Suresh,Vitek Jan
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Lecture Notes in Computer Science;R.M. Amadio,1996
2. Berger, M., Honda, K.: The Two-Phase Commitment Protocol in an Extended pi-Calculus. In: Aceto, L., Victor, B. (eds.) Electronic Notes in Theoretical Computer Science, vol. 39. Elsevier, Amsterdam (2003)
3. Black, A., Cremet, V., Guerraoui, R., Odersky, M.: An Equational Theory for Transactions. Technical Report CSE 03-007, Department of Computer Science, OGI School of Science and Engineering (2003)
4. Boudol, G.: Asynchrony and the π-calculus (Note). Rapport de Recherche 1702, INRIA Sofia-Antipolis (May 1992)
5. Bruni, R., Laneve, C., Montanari, U.: Orchestrating Transactions in the Join Calculus. In: 13th International Conference on Concurrency Theory (2002)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献