Cambridge University Press · Springer
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Advanced Topics in Bisimulation and Coinduction | Hardcover | 978-1-107-00497-9 | 2011 | Jan Rutten | |
| CONCUR '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings | Taschenbuch | 978-3-540-64896-3 | 2008 | Robert de Simone | |
| Introduction to Bisimulation and Coinduction | Hardcover | 978-1-107-00363-7 | 2011 | ||
| Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings | Taschenbuch | 978-3-662-44601-0 | 2014 | Josep Diaz · Ivan Lanese | |
| The Pi-Calculus: A Theory of Mobile Processes | Paperback | 978-0-521-54327-9 | 2008 | ||
| The Pi-Calculus: A Theory of Mobile Processes | Hardcover | 978-0-521-78177-0 | 2001 | David Walker | |
| Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers | Taschenbuch | 978-3-540-30007-6 | 2009 | Rocco De Nicola | |
D S · David Sanger · David Schenker · David Schmicker · David Schoonmaker · David Schumacher · David Shoemaker · David Singer · David Singerman · Davida Singer · Deepthi Shanker