A recursive process algebra for queues.

Hsn Yenign, Esfandiar Haghverdi, S. Bilgen, Kemal Inan

Browse the full FORTE paper archive.