A Calculus for Long-Running Transactions-Reference-Cited by-同舟云学术

A Calculus for Long-Running Transactions

Published:2003 Issue: Volume: Page:124-138
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bocchi Laura,Laneve Cosimo,Zavattaro Gianluigi

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-39958-2_9

Reference18 articles.

1. Ankolekar, A., Bursten, M., Hobbs, J., Lassila, O., Martin, D., McIlraith, S., Narayanan, S., Paolucci, N., Payne, T., Sycara, K., Zeng, H.: DAML-S: Semantic Markup for Web Services. In: International Semantic Web Working Symposium (2001)

2. Cambridge Tracts in Theoretical Computer Science;J.C.M. Baeten,1990

3. Berners-Lee, T., Brickley, D., Connolly, D., Dean, M., Decker, S., Fensel, D., Fikes, R., Hayes, P., Heflin, J., Hendler, J., Lassila, O., McGuinness, D., Stein, L.A.: DAML+OIL (2001), http://www.daml.org/2001/03/daml+oil-index

4. Boudol, G.: Asynchrony and the π-calculus. Technical Report 1702, INRIA, Sophia– Antipolis (1992)

5. Lecture Notes in Computer Science;R. Bruni,2002

Cited by 56 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems;Formal Aspects of Computing;2017-03

2. On Compensation Primitives as Adaptable Processes;Electronic Proceedings in Theoretical Computer Science;2015-08-26

3. Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python;Formal Methods in System Design;2014-11-19

4. Attribute-based transactions in service oriented computing;Mathematical Structures in Computer Science;2014-11-10

5. cJoin: Join with communicating transactions;Mathematical Structures in Computer Science;2014-11-10