| |
| 1981 | ||
|---|---|---|
| 4 | Lawrence Flon, Norihisa Suzuki: The Total Correctness of Parallel Programs. SIAM J. Comput. 10(2): 227-246 (1981) | |
| 1978 | ||
| 3 | Lawrence Flon, Norihisa Suzuki: Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs FOCS 1978: 184-192 | |
| 1976 | ||
| 2 | EE | Lawrence Flon, A. Nico Habermann: Towards the Construction of Verifiable Software Systems. Conference on Data: Abstraction, Definition and Structure 1976: 141-148 |
| 1 | A. Nico Habermann, Lawrence Flon, Lee W. Cooprider: Modularization and Hierarchy in a Family of Operating Systems. Commun. ACM 19(5): 266-272 (1976) | |
| 1 | Lee W. Cooprider | [1] |
| 2 | A. Nico Habermann | [1] [2] |
| 3 | Norihisa Suzuki | [3] [4] |