Confluence for process verification

1996-12-01

Theoretical Computer Science , Volume 170 - Issue 1-2 p. 47- 81

Additional Metadata
Publisher	Elsevier
Persistent URL	doi.org/10.1016/S0304-3975(96)80702-X
Journal	Theoretical Computer Science
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	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

Additional Files
0140D.pdf Final Version , 3mb
Publisher Version

Publication