Architecture of distributed computer systems /

by Bochmann, Gregor von, 1941-
Published 1979

Distributed systems--architecture and implementation : an advanced course /

Published 1981

Distributed systems : methods and tools for specification : an advanced course /

Published 1985

Experiences with distributed systems : international workshop, Kaiserslautern, FRG, September 28-30, 1987 : proceedings /

Published 1988

Distributed algorithms : 5th international workshop, WDAG '91, Delphi, Greece, October 7-9, 1991 : proceedings /

Published 1992

Distributed algorithms : 7th International Workshop, WDAG '93, Lausanne, Switzerland, September 27-29, 1993 : proceedings /

Published 1993

Distributed programming paradigms with cryptography applications /

by Greenfield, Jonathan S., 1968-
Published 1994

Distributed algorithms : 8th international workshop /

Published 1994

Parallel and distributed computing : theory and practice : first Canada-France conference, Montreal, Canada, May 19-21, 1994 : proceedings /

Published 1994

TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 /

Published 1991

Distributed algorithms : 4th international workshop, Bari, Italy, September 24-26, 1990 : proceedings /

Published 1991

Distributed memory computing : 2nd European Conference, EDMCC2, Munich, FRG, April 22-24, 1991 : proceedings /

Published 1991

Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings /

Published 1990

Progress in distributed operating systems and distributed systems management : European workshop, Berlin, FRG, April 18/19, 1989 : proceedings /

Published 1990

Fault-tolerant distributed computing /

Published 1990

DCE-- the OSF distributed computing environment : client/server model and beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993 : proceedings /

Published 1993

Distributed algorithms : 6th international workshop, WDAG '92, Haifa, Israel, November 2-4, 1992 : proceedings /

Published 1992

Linear time, branching time, and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 /

Published 1989

Distributed algorithms : 3rd international workshop, Nice, France, September 1989 : proceedings /

Published 1989

Finite representations of CCS and TCSP programs by automata and Petri nets /

by Taubner, Dirk, 1959-
Published 1989