Process Calculus Based upon Evaluation to Committed Form.

Andrew M. Pitts, Joshua R. X. Ross

Browse the full CONCUR paper archive.