Arthur P. Hughes

Publication Activity (10 Years)

Years Active: 1995-2002
Publications (10 Years): 0

Publications

Jim Woodcock, Arthur P. Hughes
Unifying Theories of Parallel Programming. ICFEM (2002)
Arthur P. Hughes
Towards an Override in Topoi. IWFM (1998)
Arthur P. Hughes, Claus Pahl
A Generic Model for State-based Agent Systems. IWFM (1997)
Arthur P. Hughes, Alexis A. Donnelly
An Algebraic Proof in VDM. ZUM (1995)