@inproceedings{biernacki:hal-02086532, TITLE = {{A Complete Normal-Form Bisimilarity for State}}, AUTHOR = {Biernacki, Dariusz and Lenglet, Sergue{\"i} and Polesiuk, Piotr}, URL = {https://inria.hal.science/hal-02086532}, BOOKTITLE = {{FoSSaCS}}, ADDRESS = {Prague, Czech Republic}, YEAR = {2019}, MONTH = Apr, DOI = {10.1007/978-3-030-17127-8\_6}, PDF = {https://inria.hal.science/hal-02086532/file/final.pdf}, HAL_ID = {hal-02086532}, HAL_VERSION = {v1}, }