@inproceedings{lenglet:inria-00490810, 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-00490810}, BOOKTITLE = {{12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009)}}, ADDRESS = {York, United Kingdom}, EDITOR = {Luca de Alfaro}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {5504}, PAGES = {257--271}, YEAR = {2009}, MONTH = Mar, DOI = {10.1007/978-3-642-00596-1\_19}, PDF = {https://inria.hal.science/inria-00490810/file/2009.03.01-Eart-Normal_bisimulations_in_process_calculi_with_passivation_by_Lenglet._S_Schmitt._A_Stefani._J.pdf}, HAL_ID = {inria-00490810}, HAL_VERSION = {v1}, }