Author:
Bruni Roberto,Kersten Anne,Lanese Ivan,Spagnolo Giorgio
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Lecture Notes in Computer Science;L. Bocchi,2010
2. Boronat, A., Meseguer, J.: MOMENT2: EMF model transformations in Maude. In: JISBD 2009, pp. 178–179 (2009)
3. Lecture Notes in Computer Science;R. Bruni,2005
4. Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL 2005, pp. 209–220. ACM (2005)
5. Bruni, R., Melgratti, H.C., Montanari, U.: Nested Commits for Mobile Calculi: Extending Join. In: IFIP-TCS 2004, pp. 563–576 (2004)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. cJoin: Join with communicating transactions;Mathematical Structures in Computer Science;2014-11-10
2. General dynamic recovery for compensating CSP;Electronic Proceedings in Theoretical Computer Science;2014-03-29
3. LTS Semantics for Compensation-Based Processes;Trustworthy Global Computing;2013
4. Decidability Results for Dynamic Installation of Compensation Handlers;Lecture Notes in Computer Science;2013
5. Static vs Dynamic SAGAs;Electronic Proceedings in Theoretical Computer Science;2010-10-26