A criterion to enforce correctness of indirectly cooperating applications

Replica control in distributed systems

Calton Pu, Avraham Leff · 1991 · 196 citations

Computing, Computer Science, Computer Systems +14

Split-Transactions for Open-Ended Activities

Calton Pu, Gail E. Kaiser, Norman C. Hutchinson · 1988 · 194 citations · Full text

Computing, Computer Science, Computer Systems +17

DISTRIBUTED OBJECT MANAGEMENT

Frank Manola, Sandra Heiler, Dimitrios Georgakopoulos et al. · International Journal of Cooperative Information Systems · 1992 · 145 citations

Computing, Computer Science, Computer Systems +10

The Contract Model

Andreas Reuter, Helmut Wächter · IEEE Data(base) Engineering Bulletin · 1991 · 129 citations

Supporting cooperation in the Marvel process-centered SDE

Naser S. Barghouti · 1992 · 98 citations

Computing, Computer Science, Databases +11