![book Middleware 2000: IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4–7, 2000 Proceedings](/covers/files_170/1133000/51e57cd429a4b21ca9a0fabcaa4ca73f-d.jpg)
- Author: Gregory V. Chockler Danny Dolev Roy Friedman Roman Vitenberg (auth.) Joseph Sventek Geoffrey Coulson (eds.)
- Language: English
- Year: 2000
![book Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings](/covers/files_170/1133000/69c186847427d8e97597113b8d9425f7-d.jpg)
- Author: Paweł Rychwalski Jacek Wytrębowicz (auth.) Hartmut König Monika Heiner Adam Wolisz (eds.)
- Language: English
- Year: 2003
![book Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers](/covers/files_170/1133000/6ad2ada564c093bc8ad39ae176b85ed2-d.jpg)
- Author: Andrea Omicini Franco Zambonelli (auth.) João Leite Andrea Omicini Leon Sterling Paolo Torroni (eds.)
- Language: English
- Year: 2004