Author:
Mei Xiao-Yong,Fan Yi-Yan,Huang Chang-Qin,Jiang Ai-Jun,Li Shi-Xian
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computer Science Applications,Modeling and Simulation,Control and Systems Engineering
Reference18 articles.
1. J. Gray. The transaction concept: Virtues and limitations. In Proceedings of the 7th International Conference on Very Large Data Bases, ACM, Cannes, France, pp. 144–154, 1981.
2. H. Garcia-Molina, K. Salem. Sagas. In Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data, ACM, New York, USA, pp. 249–259, 1987.
3. A. K. Elmagarmid. Database Transaction Models for Advanced Applications, 1st ed., San Fransisco, USA: Morgan Kaufmann, 1992.
4. L. Bocchi, C. Laneve, G. Zavattaro. A calculus for longrunning transactions. In Proceedings of the 6th IFIP International Conference on Formal Methods for Open Objectbased Distributed Systems, Mendeley, Paris, France, pp. 124–138, 2003.
5. H. Foster, S. Uchitel, J. Magee, J. Kramer. Model-based verification of web service compositions. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering, IEEE, Montreal, Canada, pp. 152–161, 2003.