Steve J. Hodges

According to our database, Steve J. Hodges authored at least 1 paper in 1995.

Collaborative distances:

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

1995

Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics.

Steve J. Hodges, Cliff B. Jones

Proceedings of the Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), 1995