Process algebra semantics for queues / by Jan A. Bergstra, Jerzy Tiuryn

Process algebra semantics for queues / by Jan A. Bergstra, Jerzy Tiuryn