P. K. Chrysanthis

ACT: A Framework for Specifying and Reasoning About Transaction Structure

P. K. Chrysanthis, K. Ramamritham, 1989 .

The Gutenberg Experimen: Testing Design Principles as Hypotheses

David W. Stemple, Krithi Ramamritham, P. K. Chrysanthis, 1989 .

A logically distributed approach for structuring office systems

P. K. Chrysanthis, K. Ramamritham, D. Stemple, 1990, COCS '90.