Arthur P. Hughes

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2002
Unifying Theories of Parallel Programming.
Proceedings of the Formal Methods and Software Engineering, 2002

1998
Towards an Override in Topoi.
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.
Proceedings of the 1st Irish Workshop on Formal Methods, 1997

1995
An Algebraic Proof in VDM.
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995


  Loading...