Jan Kofron. Checking software component behavior using behavior protocols and spin. In Yookun Cho, Roger L. Wainwright, Hisham Haddad, Sung Y. Shin, Yong Wan Koo, editors, Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007. pages 1513-1517, ACM, 2007. [doi]
@inproceedings{Kofron07,
title = {Checking software component behavior using behavior protocols and spin},
author = {Jan Kofron},
year = {2007},
doi = {10.1145/1244002.1244326},
url = {http://doi.acm.org/10.1145/1244002.1244326},
tags = {software components, protocol, software component},
researchr = {https://researchr.org/publication/Kofron07},
cites = {0},
citedby = {0},
pages = {1513-1517},
booktitle = {Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007},
editor = {Yookun Cho and Roger L. Wainwright and Hisham Haddad and Sung Y. Shin and Yong Wan Koo},
publisher = {ACM},
isbn = {1-59593-480-4},
}