Lawrence Flon (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

4 Lawrence Flon, Norihisa Suzuki: The Total Correctness of Parallel Programs. SIAM J. Comput. 10(2): 227-246 (1981)

3 Lawrence Flon, Norihisa Suzuki: Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs FOCS 1978: 184-192

Selection of 2 from 4 records - Lawrence Flon has 3 coauthors

4		Lawrence Flon, Norihisa Suzuki: The Total Correctness of Parallel Programs. SIAM J. Comput. 10(2): 227-246 (1981)
3		Lawrence Flon, Norihisa Suzuki: Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs FOCS 1978: 184-192