Equivalences within Non-Finite State Systems (1997)

by J T Bradley, N J Davies
Venue:Proceedings of 5th IFIP Workshop on Performance Modelling and Evaluation of ATM Networks