Zheng Zhu, Steven D. Johnson. Capturing Synchronization Specifications for Sequential Compositions. In Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 94, Cambridge, MA, USA, October 10-12, 1994. pages 117-121, IEEE Computer Society, 1994.
@inproceedings{ZhuJ94, title = {Capturing Synchronization Specifications for Sequential Compositions}, author = {Zheng Zhu and Steven D. Johnson}, year = {1994}, tags = {synchronization, composition}, researchr = {https://researchr.org/publication/ZhuJ94}, cites = {0}, citedby = {0}, pages = {117-121}, booktitle = {Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 94, Cambridge, MA, USA, October 10-12, 1994}, publisher = {IEEE Computer Society}, isbn = {0-8186-6565-3}, }