Timewise Refinement for Communicating Processes

Steve Schneider. Timewise Refinement for Communicating Processes. Science of Computer Programming, 28(1):43-90, 1997.

Possibly Related Publications

The following publications are possibly variants of this publication: