J. R. Hulance

According to our database, J. R. Hulance authored at least 2 papers between 1994 and 1995.

Collaborative distances:

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

1995

Hierarchical Compression for Model-Checking CSP or How to Check 10²⁰ Dining Philosophers for Deadlock.

A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. Bryan Scattergood

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

1994

The Formal Specification in Z of Defence Standard 00-56.

Jim Woodcock, Paul H. B. Gardiner, J. R. Hulance

Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994