| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings | 978-3-540-28309-6 | 2005 | Martín Abadi |
| Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European ... Notes in Computer Science, Band 5504) | 978-3-642-00595-4 | 2009 | |
| Foundations of Software Science and Computational Structures | 978-3-642-00597-8 | 2009 | |
| Process Algebra and Probabilistic Methods Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, ... Notes in Computer Science , Band 2165) | 978-3-540-42556-4 | 2009 | Stephen Gilmore |