@inbook {248, title = {Functional and Performance Analysis of Cooperating Sequential Processes}, booktitle = {Performance Evaluation of parallel and distributed systems. Solution Methods}, series = {CWI Tracts Series}, number = {106}, year = {1994}, pages = {234-251}, publisher = {Centrum voor Wiskunde en Informatica}, organization = {Centrum voor Wiskunde en Informatica}, address = {Amsterdam, The Netherlands}, isbn = {90-6196-445-8}, author = {E. Teruel and M. Silva and J.M. Colom and J. Campos}, editor = {O.J. Boxma and G.M. Koole} }