Automated design of communication protocols using ESTEREL

Christophe Diot, Robert de Simone, Christian Huitema. Automated design of communication protocols using ESTEREL. J. High Speed Networks, 5(2):109-124, 1996. [doi]

Abstract

Abstract is missing.