@inproceedings{lenglet:inria-00486800, TITLE = {{Howe's Method for Calculi with Passivation}}, AUTHOR = {Lenglet, Sergue{\"i} and Schmitt, Alan and Stefani, Jean-Bernard}, URL = {https://inria.hal.science/inria-00486800}, BOOKTITLE = {{20th International Conference on Concurrency Theory (CONCUR 2009)}}, ADDRESS = {Bologna, Italy}, EDITOR = {Mario Bravetti and Gianluigi Zavattaro}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {5710}, PAGES = {448--462}, YEAR = {2009}, MONTH = Sep, PDF = {https://inria.hal.science/inria-00486800/file/Lenglet2009Howes-Method-for-Cal.pdf}, HAL_ID = {inria-00486800}, HAL_VERSION = {v1}, }