On the product{form solution of a class of multiple{ bus multiprocessor system models (1986)

by M A Marsan, G Balbo, G Chiola, S Donatelli
Venue:J. Systems and Software