Should Concurrency be Specified?

• Authors:

• Rosalind L. Ibrahim;John A. Ogden;Shirley A. Williams

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the BCS-FACS Workshop on Specification and Verification of Concurrent Systems
• Year:
• 1988