Henrik Hulgaard, Steven M. Burns. Bounded delay timing analysis of a class of CSP programs with choice. In Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, ASYNC 1994, Salt Lake City, UT, USA, November 3-5, 1994. pages 2-11, IEEE, 1994. [doi]
@inproceedings{HulgaardB94,
title = {Bounded delay timing analysis of a class of CSP programs with choice},
author = {Henrik Hulgaard and Steven M. Burns},
year = {1994},
doi = {10.1109/ASYNC.1994.656281},
url = {http://dx.doi.org/10.1109/ASYNC.1994.656281},
researchr = {https://researchr.org/publication/HulgaardB94},
cites = {0},
citedby = {0},
pages = {2-11},
booktitle = {Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, ASYNC 1994, Salt Lake City, UT, USA, November 3-5, 1994},
publisher = {IEEE},
isbn = {0-8186-6210-7},
}