Proving Soundness of Extensional Normal-Form Bisimilarities
| Autor: | Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 16 April 2018 336:41-56 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 16 April 2018 336:41-56 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect