|
Search the dblp DataBase
Lawrence Flon:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- A. Nico Habermann, Lawrence Flon, Lee W. Cooprider
Modularization and Hierarchy in a Family of Operating Systems. [Citation Graph (1, 0)][DBLP] Commun. ACM, 1976, v:19, n:5, pp:266-272 [Journal]
- Lawrence Flon, Norihisa Suzuki
Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs [Citation Graph (0, 0)][DBLP] FOCS, 1978, pp:184-192 [Conf]
- Lawrence Flon, A. Nico Habermann
Towards the Construction of Verifiable Software Systems. [Citation Graph (0, 0)][DBLP] Conference on Data: Abstraction, Definition and Structure, 1976, pp:141-148 [Conf]
- Lawrence Flon, Norihisa Suzuki
The Total Correctness of Parallel Programs. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1981, v:10, n:2, pp:227-246 [Journal]
Search in 0.002secs, Finished in 0.002secs
|