A recursive process algebra for queues

Hüsnü Yenigün, Esfandiar Haghverdi, S. Bilgen, K. Inan. A recursive process algebra for queues. In Richard L. Tenney, Paul D. Amer, M. Ümit Uyar, editors, Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE 93, Boston, MA, USA, 26-29 October 1993. Volume C-22 of IFIP Transactions, pages 285-300, North-Holland, 1993.

Abstract

Abstract is missing.