A compliance notation for verifying concurrent systems.

D. M. Atiya, S. King

Browse the full ICSE paper archive.