Conditional transactions: A model of computation for active databasesJaideep SrivastavaKuo-Wei Hwanget al.1991COMPSAC 1991
Performance analysis of Optimistic Concurrency Control schemes with different rerun policiesPhilip S. YuDaniel M. Dias1991COMPSAC 1991
Formal specification of software systems using Two-Level GrammarBarrett R. BryantAiqin Pan1991COMPSAC 1991
A symmetric and resilient configuration scheme for multiple name serversAmane Nakajima1991COMPSAC 1991