@techreport{bagnol:hal-00748010, TITLE = {{Synchronous Machines: a Traced Category}}, AUTHOR = {Bagnol, Marc and Adrien, Guatto}, URL = {https://hal.inria.fr/hal-00748010}, TYPE = {Research Report}, YEAR = {2012}, MONTH = Nov, HAL_ID = {hal-00748010}, HAL_VERSION = {v3}, }