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