- Proving soundness of extensional normal- form bisimilarities
Opis
- Tytuł: Proving soundness of extensional normal- form bisimilarities
- Tytuł czasopisma: Electronic Notes in Theoretical Computer Science
- Twórca: Biernacki, Dariusz ; Lenglet, Serguei ; Polesiuk, Piotr
- Strony: s. 41-56
- Opis: 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.
- Język Abstraktu: eng
- Data wydania: 2018
- Typ: Tekst
- Identyfikator: https://doi.org/10.1016/j.entcs.2018.03.015
- Język publikacji: eng
- Wersja Cyfrowa: https://doi.org/10.1016/j.entcs.2018.03.015
- Licencja: CC BY
- Szczegółowy typ obiektu: art
- Typ obiektu: Artykuł
- Tom/Wolumen/Zeszyt: Vol. 336 (2018)
