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.

Authors

Hüsnü Yenigün

This author has not been identified. Look up 'Hüsnü Yenigün' in Google

Esfandiar Haghverdi

This author has not been identified. Look up 'Esfandiar Haghverdi' in Google

S. Bilgen

This author has not been identified. Look up 'S. Bilgen' in Google

K. Inan

This author has not been identified. Look up 'K. Inan' in Google