The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Lawrence Flon: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002