1996-12-01
Confluence for process verification
Publication
Publication
Theoretical Computer Science , Volume 170 - Issue 1-2 p. 47- 81
Additional Metadata | |
---|---|
Elsevier | |
doi.org/10.1016/S0304-3975(96)80702-X | |
Theoretical Computer Science | |
Groote, J. F., & Sellink, M. P. A. (1996). Confluence for process verification. Theoretical Computer Science, 170(1-2), 47–81. doi:10.1016/S0304-3975(96)80702-X |