@techreport{lenglet:inria-00330565, TITLE = {{Normal bisimulations in process calculi with passivation}}, AUTHOR = {Lenglet, Sergue{\"i} and Schmitt, Alan and Stefani, Jean-Bernard}, URL = {https://inria.hal.science/inria-00330565}, TYPE = {Research Report}, NUMBER = {RR-6664}, PAGES = {102}, INSTITUTION = {{INRIA}}, YEAR = {2008}, KEYWORDS = {Process calculus ; higher-order ; behavioral theory ; barbed congruence ; normal bisimulation}, PDF = {https://inria.hal.science/inria-00330565/file/RR-6664.pdf}, HAL_ID = {inria-00330565}, HAL_VERSION = {v1}, }