Distributed systems : methods and tools for specification : an advanced course /
M. W. Alford ... [et al.] ; edited by M. Paul and H. J. Siegert
- Berlin : Springer-Verlag, 1985
- 573 p.
- Lecture notes in computer science ; v. 190 .
Prepared for and presented during the Advanced course on distributed systems, methods and tools for specification, held April 3-12, 1984 and repeated April 16-25, 1985, organized by the Institut fur Informatik, Technische Universitat Munchen
Electronic data processing--Distributed processing--Addresses, essays, lectures