Arthur P. Hughes

According to our database, Arthur P. Hughes authored at least 4 papers between 1995 and 2002.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2002

Unifying Theories of Parallel Programming.

Jim Woodcock, Arthur P. Hughes

Proceedings of the Formal Methods and Software Engineering, 2002

1998

Towards an Override in Topoi.

Arthur P. Hughes

Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998, 1998

1997

A Generic Model for State-based Agent Systems.

Arthur P. Hughes, Claus Pahl

Proceedings of the 1st Irish Workshop on Formal Methods, 1997

1995

An Algebraic Proof in VDM.

Arthur P. Hughes, Alexis A. Donnelly

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995