Malcolm Hole

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2005

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

1999

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

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

Coauthor Index

1 Simon J. Gay [1] [2]