Ross Casley

According to our database, Ross Casley authored at least 2 papers in 1991.

Collaborative distances:

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

1991

On the specification of concurrent systems.

Ross Casley

PhD thesis, 1991

Temporal Structures.

Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt

Math. Struct. Comput. Sci., 1991