Joshua Scheid

According to our database, Joshua Scheid authored at least 1 paper in 1999.

Collaborative distances:

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

1999

Cache Coherence Verification with TLA+.

Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu

Proceedings of the FM'99 - Formal Methods, 1999