MPG.eBooks - Search Results - "networks"

Cover Image

1

Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings

Published 1990

Springer Berlin Heidelberg

Subjects: “...Computer Communication Networks...”

Cover Image

2

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

Springer Berlin Heidelberg

Subjects: “...Computer Communication Networks...”