Congruent Weak Conformance, a Partial Order among Processes.

Ronald W. Brower, Kenneth S. Stevens

Browse the full FORTE paper archive.