Lindsay Errington (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 David Clark, Lindsay Errington, Chris Hankin: Static Analysis of Value-Passing Process Calculi. Theory and Formal Methods 1994: 307-320

2 Lindsay Errington, Chris Hankin, Thomas P. Jensen: Reasoning About Gamma Programs. Theory and Formal Methods 1993: 115-125

1 Lindsay Errington, Chris Hankin, Thomas P. Jensen: A Congruence for Gamma Programs. WSA 1993: 242-253

Selection of 3 from 4 records - Lindsay Errington has 3 coauthors

3		David Clark, Lindsay Errington, Chris Hankin: Static Analysis of Value-Passing Process Calculi. Theory and Formal Methods 1994: 307-320
2		Lindsay Errington, Chris Hankin, Thomas P. Jensen: Reasoning About Gamma Programs. Theory and Formal Methods 1993: 115-125
1		Lindsay Errington, Chris Hankin, Thomas P. Jensen: A Congruence for Gamma Programs. WSA 1993: 242-253