Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings

Luca de Alfaro Stephen Gilmore Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings PAPM-PROBMIV Lecture Notes in Computer Science 2165 Springer 2001 3-540-42556-X db/conf/papm/papm2001.html