Process algebra semantics for queues - Bergstra, Jan A. 1951-; Tiuryn, Jerzy (1983)