| |
| * | 1999 | |
|---|---|---|
| 4 | EE | Lindsay Errington: On the Semantics of Message Passing Processes. Electr. Notes Theor. Comput. Sci. 29: (1999) |
| 1994 | ||
| 3 | David Clark, Lindsay Errington, Chris Hankin: Static Analysis of Value-Passing Process Calculi. Theory and Formal Methods 1994: 307-320 | |
| 1993 | ||
| 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 | |
| 1 | David Clark | [3] |
| 2 | Chris Hankin | [1] [2] [3] |
| 3 | Thomas P. Jensen | [1] [2] |