• Rajaram K and Babu C. (2010). Evolution of a simple vehicle registration system to an SOA based e-governance application. ACM SIGSOFT Software Engineering Notes. 35:3. (1-7). Online publication date: 11-May-2010.

    https://doi.org/10.1145/1764810.1764830

  • Ziarek L and Jagannathan S. (2010). Lightweight checkpointing for concurrent ml. Journal of Functional Programming. 20:2. (137-173). Online publication date: 1-Mar-2010.

    https://doi.org/10.1017/S0956796810000067

  • Birman K. A history of the virtual synchrony replication model. Replication. (91-120).

    /doi/10.5555/2172338.2172344

  • Wang T, Vonk J, Kratz B and Grefen P. (2008). A survey on the history of transaction management. Distributed and Parallel Databases. 23:3. (235-270). Online publication date: 1-Jun-2008.

    https://doi.org/10.1007/s10619-008-7028-1

  • Kangsabanik P, Yadav D, Mall R and Majumdar A. (2007). Performance analysis of long-lived cooperative transactions in active DBMS. Data & Knowledge Engineering. 62:3. (547-577). Online publication date: 1-Sep-2007.

    https://doi.org/10.1016/j.datak.2006.11.001

  • Ziarek L, Schatz P and Jagannathan S. Stabilizers. Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming. (136-147).

    https://doi.org/10.1145/1159803.1159822

  • Ziarek L, Schatz P and Jagannathan S. (2006). Stabilizers. ACM SIGPLAN Notices. 41:9. (136-147). Online publication date: 16-Sep-2006.

    https://doi.org/10.1145/1160074.1159822

  • Bruni R, Melgratti H and Montanari U. (2005). Theoretical foundations for compensations in flow composition languages. ACM SIGPLAN Notices. 40:1. (209-220). Online publication date: 12-Jan-2005.

    https://doi.org/10.1145/1047659.1040323

  • Bruni R, Melgratti H and Montanari U. Theoretical foundations for compensations in flow composition languages. Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. (209-220).

    https://doi.org/10.1145/1040305.1040323

  • Shapiro M, Bhargavan K and Krishna N. A constraint-based formalism for consistency in replicated systems. Proceedings of the 8th international conference on Principles of Distributed Systems. (331-345).

    https://doi.org/10.1007/11516798_24

  • Loecher S. A common conceptual basis for analyzing transaction service configurations. Proceedings of the 4th international conference on Software Engineering and Middleware. (31-46).

    https://doi.org/10.1007/11407386_4

  • Bae J, Bae H, Kang S and Kim Y. (2004). Automatic Control of Workflow Processes Using ECA Rules. IEEE Transactions on Knowledge and Data Engineering. 16:8. (1010-1023). Online publication date: 1-Aug-2004.

    https://doi.org/10.1109/TKDE.2004.20

  • Botzer D and Etzion O. (2004). Self-Tuning of the Relationships among Rules' Components in Active Databases Systems. IEEE Transactions on Knowledge and Data Engineering. 16:3. (375-379). Online publication date: 1-Mar-2004.

    https://doi.org/10.1109/TKDE.2003.1262191

  • Baïna K, Tata S and Benali K. A model for process service interaction. Proceedings of the 2003 international conference on Business process management. (261-275).

    /doi/10.5555/1761141.1761161

  • Tata S and Boughzala I. Modeling contribution for virtual enterprise support. Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.

    /doi/10.5555/938984.939765

  • Roller D, Eck O and Dalakakis S. (2002). Integrated version and transaction group model for shared engineering databases. Data & Knowledge Engineering. 42:2. (223-245). Online publication date: 1-Aug-2002.

    https://doi.org/10.1016/S0169-023X(02)00061-7

  • Datta A and Son S. (2002). A Study of Concurrency Control in Real-Time, Active Database Systems. IEEE Transactions on Knowledge and Data Engineering. 14:3. (465-484). Online publication date: 1-May-2002.

    https://doi.org/10.1109/TKDE.2002.1000337

  • Su S, Jawadi R, Cherukuri P, Li Q and Nartey R. (1998). OSAM*.KBMS/P. IEEE Transactions on Knowledge and Data Engineering. 10:1. (55-75). Online publication date: 1-Jan-1998.

    https://doi.org/10.1109/69.667088

  • Papazoglou M, Delis A, Bouguettaya A and Haghjoo M. (1997). Class Library Support for Workflow Environments and Applications. IEEE Transactions on Computers. 46:6. (673-686). Online publication date: 1-Jun-1997.

    https://doi.org/10.1109/12.600825

  • Wu K, Yu P and Pu C. (1997). Divergence Control Algorithms for Epsilon Serializability. IEEE Transactions on Knowledge and Data Engineering. 9:2. (262-274). Online publication date: 1-Mar-1997.

    https://doi.org/10.1109/69.591451

  • Georgakopoulos D, Hornick M and Manola F. (1996). Customizing Transaction Models and Mechanisms in a Programmable Environment Supporting Reliable Workflow Automation. IEEE Transactions on Knowledge and Data Engineering. 8:4. (630-649). Online publication date: 1-Aug-1996.

    https://doi.org/10.1109/69.536255

  • Chen Q and Dayal U. Contracting Transaction Hierarchies. Proceedings of the 6th International Workshop on Research Issues in Data Engineering (RIDE '96) Interoperability of Nontraditional Database Systems.

    /doi/10.5555/525582.827888

  • Wäsch J and Klas W. History Merging as a Mechanism for Concurrency Control in Cooperative Environments. Proceedings of the 6th International Workshop on Research Issues in Data Engineering (RIDE '96) Interoperability of Nontraditional Database Systems.

    /doi/10.5555/525582.827886

  • Ramamritham K and Pu C. (1995). A Formal Characterization of Epsilon Serializability. IEEE Transactions on Knowledge and Data Engineering. 7:6. (997-1007). Online publication date: 1-Dec-1995.

    https://doi.org/10.1109/69.476504

  • Rusinkiewicz M, Klas W, Tesch T, Wäsch J and Muth P. Towards a Cooperative Transaction Model - The Cooperative Activity Model. Proceedings of the 21th International Conference on Very Large Data Bases. (194-205).

    /doi/10.5555/645921.673142

  • Korth H and Speegle G. (1994). Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model. ACM Transactions on Database Systems. 19:3. (492-535). Online publication date: 1-Sep-1994.

    https://doi.org/10.1145/185827.185854

  • Chrysanthis P and Ramamritham K. (1994). Synthesis of extended transaction models using ACTA. ACM Transactions on Database Systems. 19:3. (450-491). Online publication date: 1-Sep-1994.

    https://doi.org/10.1145/185827.185843

  • Attie P, Singh M, Sheth A and Rusinkiewicz M. Specifying and Enforcing Intertask Dependencies. Proceedings of the 19th International Conference on Very Large Data Bases. (134-145).

    /doi/10.5555/645919.672807

  • Woelk D, Attie P, Cannata P, Meredith G, Sheth A, Singh M and Tomlinson C. (1993). Task scheduling using intertask dependencies in Carnot. ACM SIGMOD Record. 22:2. (491-494). Online publication date: 1-Jun-1993.

    https://doi.org/10.1145/170036.170150

  • Woelk D, Attie P, Cannata P, Meredith G, Sheth A, Singh M and Tomlinson C. Task scheduling using intertask dependencies in Carnot. Proceedings of the 1993 ACM SIGMOD international conference on Management of data. (491-494).

    https://doi.org/10.1145/170035.170150

  • Pu C. (1993). Relaxing the limitations of serializable transactions in distributed systems. ACM SIGOPS Operating Systems Review. 27:2. (66-71). Online publication date: 1-Apr-1993.

    https://doi.org/10.1145/155848.155860

  • Pu C. Relaxing the limitations of serializable transactions in distributed systems. Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring. (1-6).

    https://doi.org/10.1145/506378.506415

  • Chrysanthis P and Ramamritham K. A Formalism for Extended Transaction Model. Proceedings of the 17th International Conference on Very Large Data Bases. (103-112).

    /doi/10.5555/645917.758357