1
Foundations of Software Science and Computational Structures [E-Book] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
2
CONCUR 2005 - concurrency theory / 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, proceedings [E-Book] /
3
Process Algebra and Probabilistic Methods. Performance Modelling and Verification [E-Book] : Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings /