P. J. Lupton

According to our database, P. J. Lupton authored at least 2 papers in 1990.

Collaborative distances:

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

1990

Promoting Forward Simulation.

P. J. Lupton

Proceedings of the Z User Workshop, 1990

A Simpler Semantics for Z.

Paul H. B. Gardiner, P. J. Lupton, Jim Woodcock

Proceedings of the Z User Workshop, 1990