A refinement relation supporting the transition from unbounded to bounded communication buffers - Stølen, Ketil (Technische Universität <München>: TUM-I, 1994)