@phdthesis{lenglet:tel-00447857, TITLE = {{Bisimulations dans les calculs avec passivation}}, AUTHOR = {Lenglet, Sergue{\"i}}, URL = {https://theses.hal.science/tel-00447857}, SCHOOL = {{Universit{\'e} Joseph-Fourier - Grenoble I}}, YEAR = {2010}, MONTH = Jan, KEYWORDS = {higher-order calculus ; congruence proof ; Howe's method ; labelled transitions system ; bisimulation ; calcul d'ordre sup{\'e}rieur ; passivation ; preuve de congruence ; m{\'e}thode de Howe ; syst{\`e}me de transitions {\'e}tiquet{\'e}es}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-00447857/file/these.pdf}, HAL_ID = {tel-00447857}, HAL_VERSION = {v1}, }