@techreport{banatre:inria-00076947, TITLE = {{Exception handling sequential processes : design, verification and implementation}}, AUTHOR = {Ban{\^a}tre, Jean-Pierre and Issarny, Val{\'e}rie}, URL = {https://inria.hal.science/inria-00076947}, TYPE = {Research Report}, NUMBER = {RR-1710}, INSTITUTION = {{INRIA}}, YEAR = {1992}, PDF = {https://inria.hal.science/inria-00076947/file/RR-1710.pdf}, HAL_ID = {inria-00076947}, HAL_VERSION = {v1}, }