Felice Balarin, Roberto Passerone. Specification, Synthesis, and Simulation of Transactor Processes. IEEE Trans. on CAD of Integrated Circuits and Systems, 26(10):1749-1762, 2007. [doi]
@article{BalarinP07, title = {Specification, Synthesis, and Simulation of Transactor Processes}, author = {Felice Balarin and Roberto Passerone}, year = {2007}, doi = {10.1109/TCAD.2007.895792}, url = {http://dx.doi.org/10.1109/TCAD.2007.895792}, researchr = {https://researchr.org/publication/BalarinP07}, cites = {0}, citedby = {0}, journal = {IEEE Trans. on CAD of Integrated Circuits and Systems}, volume = {26}, number = {10}, pages = {1749-1762}, }