Yong Sun, Hongji Yang. Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study. In 22rd EUROMICRO Conference 96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic. pages 303-310, IEEE Computer Society, 1996. [doi]
@inproceedings{SunY96,
title = {Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study},
author = {Yong Sun and Hongji Yang},
year = {1996},
url = {http://csdl.computer.org/comp/proceedings/euromicro/1996/7487/00/74870303abs.htm},
tags = {rule-based, case study, protocol},
researchr = {https://researchr.org/publication/SunY96},
cites = {0},
citedby = {0},
pages = {303-310},
booktitle = {22rd EUROMICRO Conference 96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic},
publisher = {IEEE Computer Society},
}