1993
Modular specification of process algebras
Publication
Publication
Theoretical Computer Science , Volume 113 - Issue 2 p. 293- 348
Additional Metadata | |
---|---|
, | |
elsevier | |
Theoretical Computer Science | |
van Glabbeek, R., & Vaandrager, F. (1993). Modular specification of process algebras. Theoretical Computer Science, 113(2), 293–348. |