Michael Goldsmith

	2009
14		Michael Goldsmith, Bill Roscoe: Preface. Electr. Notes Theor. Comput. Sci. 250(1): 1-2 (2009)
	2008
13		Nick Moffat, Michael Goldsmith, Bill Roscoe: A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. ICFEM 2008: 258-277
12		Nick Moffat, Michael Goldsmith: Assumption-Commitment Support for CSP Model Checking. J. Autom. Reasoning 41(3-4): 365-398 (2008)
	2007
11		Nick Moffat, Michael Goldsmith: Assumption-Commitment Support for CSP Model Checking. Electr. Notes Theor. Comput. Sci. 185: 121-137 (2007)
	2006
10		Sadie Creese, Michael Goldsmith, Bill Roscoe, Ming Xiao: Bootstrapping multi-party ad-hoc security. SAC 2006: 369-375
	2005
9		Sadie Creese, Michael Goldsmith, Richard Harrison, Bill Roscoe, Paul Whittaker, Irfan Zakiuddin: Exploiting Empirical Engagement in Authentication Protocol Design. SPC 2005: 119-133
	2004
8		Michael Goldsmith: Operational Semantics for Fun and Profit. 25 Years Communicating Sequential Processes 2004: 265-274
	2003
7		Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin: Watchdog Transformations for Property-Oriented Model-Checking. FME 2003: 600-616
6		Sadie Creese, Michael Goldsmith, Bill Roscoe, Irfan Zakiuddin: Authentication for Pervasive Computing. SPC 2003: 116-129
5		Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner: A Methodology for Model-Checking Ad-hoc Networks. SPIN 2003: 181-196
	1999
4		Michael Goldsmith: Challenges to Process-Algebraic Property-Checking. PDPTA 1999: 273-278
	1998
3		Michael Goldsmith, Irfan Zakiuddin: Critical Systems Validation and Verification with CSP and FDR. FM-Trends 1998: 243-250
	1995
2		A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. B. Scattergood: Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock. TACAS 1995: 133-152
	1987
1		Michael Goldsmith, A. Cox, Geoff Barrett: An Algebraic Transformation System for Occam Programs. STACS 1987: 481

Coauthor Index

1	Geoff Barrett	[1]
2	A. Cox	[1]
3	Sadie Creese	[6] [9] [10]
4	Paul H. B. Gardiner	[2] [5]
5	Richard Harrison	[9]
6	J. R. Hulance	[2]
7	D. M. Jackson	[2]
8	Nick Moffat	[7] [11] [12] [13]
9	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[2] [6] [7] [9] [10] [13] [14]
10	J. B. Scattergood	[2]
11	Paul Whittaker	[5] [9]
12	Tim Whitworth	[7]
13	Ming Xiao	[10]
14	Irfan Zakiuddin	[3] [5] [6] [7] [9]