1991
Recursive process definitions with the state operator
Publication
Publication
Theoretical Computer Science , Volume 81 - Issue 2 p. 285- 302
Additional Metadata | |
---|---|
elsevier | |
Theoretical Computer Science | |
Baeten, J., & Bergstra, J. (1991). Recursive process definitions with the state operator. Theoretical Computer Science, 81(2), 285–302. |