Malcolm Hole

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005

2 EE Simon J. Gay, Malcolm Hole: Subtyping for session types in the pi calculus. Acta Inf. 42(2-3): 191-225 (2005)

1999

1 EE Simon J. Gay, Malcolm Hole: Types and Subtypes for Client-Server Interactions. ESOP 1999: 74-90

2005
2	EE	Simon J. Gay, Malcolm Hole: Subtyping for session types in the pi calculus. Acta Inf. 42(2-3): 191-225 (2005)
1999
1	EE	Simon J. Gay, Malcolm Hole: Types and Subtypes for Client-Server Interactions. ESOP 1999: 74-90

Coauthor Index

1 Simon J. Gay [1] [2]