@InProceedings{SACACM04, author = "M.Carmen Ruiz and Diego Cazorla and Fernando Cuartero and J.José Pardo and Hermenegilda Macia", title = "A bounded true concurrency process algebra for performance evaluation", booktitle = "In Proceedings of the 1st European Performance Engineering Workshop (EPEW'2004)", address = {Toledo (Spain)}, date = {November}, year= "2004", pages= "143-155", publisher=" Springer-Verlang" }