- Proving soundness of extensional normal- form bisimilarities
Description
- Title: Proving soundness of extensional normal- form bisimilarities
- Journal title: Electronic Notes in Theoretical Computer Science
- Creator: Biernacki, Dariusz ; Lenglet, Serguei ; Polesiuk, Piotr
- Pages: s. 41-56
- Description: Zawiera ilustracje. ; Bibliogr. ; Proceedings of the Thirty-third Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIII), Ljubljana, 12-15.06.2017. ; Streszcz. w jęz. ang.
- Language of abstract: eng
- Date issued: 2018
- Type: Tekst
- Identifier: https://doi.org/10.1016/j.entcs.2018.03.015
- Language: eng
- Has version: https://doi.org/10.1016/j.entcs.2018.03.015
- License: CC BY
- Detailed object type: art
- Object type: Artykuł
- Location: Vol. 336 (2018)