A methodology for programming with concurrency: the formalism☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
This research was partially supported by the Social Sciences and Humanities Research Council of Canada and the World University Service of Canada.
- ∗∗
Current address: Department of Computer Sciences, College of Natural Sciences, The University of Texas at Austin, Austin, TX 78712, U.S.A.
Copyright © 1982 Published by Elsevier B.V.