Author of the publication

A Framework for Specifying and Reasoning about Transaction Structure and Behavior

, and . Proccedings of the ACM SIGMOD International Conference on Management of Data, page 194--203. (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Chrysanthis, P.K.
add a person with the name Chrysanthis, P.K.
 

Other publications of authors with the same name

A Framework for Specifying and Reasoning about Transaction Structure and Behavior, and . Proccedings of the ACM SIGMOD International Conference on Management of Data, page 194--203. (1990)A Framework for Modeling and Reasoning about Extended Transactions. Department of Computer and Information Science, University of Massachusetts, (September 1991)In Search of Acceptability Criteria: Database Consistency Requirements and Transaction Correctness Properties, and . Distributed Object Management, Morgan Kauffmann Publishers, (1993)ACTA: The SAGA Continues, and . Database transaction models for advanced applications, Morgan Kauffman, (1992)Synthesis of Extended Transaction Models, and . ACM Transactions on Database Systems, 19 (3): 451-491 (September 1994)