1997
Confluent rewriting of bisimilar term graphs
Publication
Publication
Electronic Notes in Theoretical Computer Science Issue 7
Presented at the
Workshop on Expressiveness in Concurrency, Santa Margherita Ligure
Additional Metadata | |
---|---|
Elsevier | |
Electronic Notes in Theoretical Computer Science | |
Workshop on Expressiveness in Concurrency | |
Organisation | Specification and Analysis of Embedded Systems |
Ariola, Z., Klop, J. W., & Plump, D. (1997). Confluent rewriting of bisimilar term graphs. In Electronic Notes in Theoretical Computer Science. Elsevier. |