Correctness in general configurations of transactional components

This publication has 4 references indexed in Scilit:

• A multi-level transaction approach to federated DBMS transaction management
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Correctness and parallelism in composite systems
  Published by Association for Computing Machinery (ACM) ,1997
• Principles and realization strategies of multilevel transaction management
  ACM Transactions on Database Systems, 1991
• A model for concurrency in nested transactions systems
  Journal of the ACM, 1989