Cover Image
Read Now

1
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... of concurrent systems based on local state transformations -- Construction of network protocols by stepwise...”