Sign in

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

Ketil Stølen
Published in: MPC (1995)
Keyphrases