| |
| 1998 | ||
|---|---|---|
| 2 | EE | Andrew M. Pitts, Joshua R. X. Ross: Process Calculus Based Upon Evaluation to Committed Form. Theor. Comput. Sci. 195(2): 155-182 (1998) |
| 1996 | ||
| 1 | Andrew M. Pitts, Joshua R. X. Ross: Process Calculus Based upon Evaluation to Committed Form. CONCUR 1996: 18-33 | |
| 1 | Andrew M. Pitts | [1] [2] |