Rosalind L. Ibrahim

According to our database, Rosalind L. Ibrahim authored at least 1 paper in 1988.

Collaborative distances:

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

1988

Should Concurrency be Specified?

Rosalind L. Ibrahim, John A. Ogden, Shirley A. Williams

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988