@conference {397, title = {A Normal Form for Stateful Connectors}, booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'e} Meseguer on the Occasion of His 65th Birthday}, year = {2015}, doi = {10.1007/978-3-319-23165-5_9}, url = {http://dx.doi.org/10.1007/978-3-319-23165-5_9}, author = {Roberto Bruni and Hern{\'a}n C. Melgratti and Ugo Montanari} }