@techreport{biernacki:hal-02002115, TITLE = {{A Complete Normal-Form Bisimilarity for State}}, AUTHOR = {Biernacki, Dariusz and Lenglet, Sergue{\"i} and Polesiuk, Piotr}, URL = {https://inria.hal.science/hal-02002115}, TYPE = {Research Report}, NUMBER = {RR-9251}, INSTITUTION = {{Inria Nancy - Grand Est}}, YEAR = {2019}, MONTH = Jan, KEYWORDS = {$\lambda$-calculus with state ; Contextual equivalence ; Normal-form bisimulations ; Completeness ; $\lambda$-calcul avec {\'e}tat ; {\'e}quivalence contextuelle ; bisimilarit{\'e} de forme normale ; Compl{\'e}tude}, PDF = {https://inria.hal.science/hal-02002115/file/RR-9251.pdf}, HAL_ID = {hal-02002115}, HAL_VERSION = {v1}, }