On describing the behavior and implementation of distributed systems☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
This research was supported in part by the National Science Foundation under grants MCS77-02474, MCS77-15628, MCS78-01689 and by U.S. Army Research Office Contract Number DAAG29-79C-0155.
Copyright © 1981 Published by Elsevier B.V.