A Refinement Relation Supporting the Transition from Unbounded to Bounded Communication Buffers.

Ketil Stlen

Browse the full MPC paper archive.