Arthur P. Hughes
According to our database1, Arthur P. Hughes authored at least 4 papers between 1995 and 2002.
Legend:Book In proceedings Article PhD thesis Other
Unifying Theories of Parallel Programming.
Proceedings of the Formal Methods and Software Engineering, 2002
Towards an Override in Topoi.
Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998, 1998
A Generic Model for State-based Agent Systems.
Proceedings of the 1st Irish Workshop on Formal Methods, 1997
An Algebraic Proof in VDM.
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995