A Bounded True Concurrency Process Algebra for Performance Evaluation | Publicación