 | 2007 |
|---|
| 6 |       | James E. Johnson,
David E. Langworthy,
Leslie Lamport,
Friedrich H. Vogt:
Formal specification of a Web services protocol.
J. Log. Algebr. Program. 70(1): 34-52 (2007) |
| 2004 |
|---|
| 5 | | James E. Johnson,
David E. Langworthy,
Leslie Lamport,
Friedrich H. Vogt:
Formal Specification of a Web Services Protocol.
Electr. Notes Theor. Comput. Sci. 105: 147-158 (2004) |
| 1996 |
|---|
| 4 |  | David E. Langworthy,
Stanley B. Zdonik:
Extensibility and Asynchrony in the Brown-Object Storage System.
Performance of Concurrency Control Mechanisms in Centralized Database Systems 1996: 595-627 |
| 1994 |
|---|
| 3 | | David E. Langworthy,
Stanley B. Zdonik:
Storage Class Extensibility in the Brown Object Storage System.
POS 1994: 259-283 |
| 1989 |
|---|
| 2 | | David E. Langworthy:
Evaluating correctness criteria for transactions.
SIGPLAN Notices 24(4): 139-141 (1989) |
| 1988 |
|---|
| 1 | | Steve Ford,
John Joseph,
David E. Langworthy,
David F. Lively,
Girish Pathak,
Edward R. Perez,
Robert W. Peterson,
Diana M. Sparacin,
Satish M. Thatte,
David L. Wells,
Sanjive Agarwala:
ZEITGEIST: Database Support for Object-Oriented Programming.
OODBS 1988: 23-42 |
