Gary Levin (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Gary Levin, David Gries: A Proof Technique for Communicating Sequential Processes. Acta Inf. 15: 281-302 (1981)

2 David Gries, Gary Levin: Assignment and Procedure Call Proof Rules. ACM Trans. Program. Lang. Syst. 2(4): 564-579 (1980)

1 David Gries, Gary Levin: Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time. Inf. Process. Lett. 11(2): 68-69 (1980)

Selection of 3 from 8 records - Gary Levin has 23 coauthors

3		Gary Levin, David Gries: A Proof Technique for Communicating Sequential Processes. Acta Inf. 15: 281-302 (1981)
2		David Gries, Gary Levin: Assignment and Procedure Call Proof Rules. ACM Trans. Program. Lang. Syst. 2(4): 564-579 (1980)
1		David Gries, Gary Levin: Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time. Inf. Process. Lett. 11(2): 68-69 (1980)