| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Distributed Systems: Methods and Tools for Specification. An Advanced Course | 978-3-540-15216-3 (3-540-15216-4) | 2008 | G. P. Mullery · F. B. Schneider · Manfred Paul · G. Hommel | |
| Distributed Systems: Methods and Tools for Specification: An Advanced Course | 978-0-387-15216-5 (0-387-15216-4) | 1985 | ||
| Distributed Systems Methods and Tools Proceedings | 978-0-387-45216-6 (0-387-45216-8) | |||