A facility for verification, testing and documentation of concurrent process software.

Richard N. Taylor, Leon J. Osterweil

Browse the full COMPSAC paper archive.