A Preorder for Partial Process Specifications.

Rance Cleaveland, Bernhard Steffen

Browse the full CONCUR paper archive.