Arthur P. Hughes

2002
4	EE	Jim Woodcock, Arthur P. Hughes: Unifying Theories of Parallel Programming. ICFEM 2002: 24-37
1998
3		Arthur P. Hughes: Towards an Override in Topoi. IWFM 1998
1997
2		Arthur P. Hughes, Claus Pahl: A Generic Model for State-based Agent Systems. IWFM 1997
1995
1		Arthur P. Hughes, Alexis A. Donnelly: An Algebraic Proof in VDM. ZUM 1995: 114-133

Coauthor Index

1	Alexis A. Donnelly	[1]
2	Claus Pahl	[2]
3	Jim Woodcock (J. C. P. Woodcock)	[4]

Colors in the list of coauthors