Willem C. Mallon. On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism. In 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2-6 April 2000, Eilat, Israel. pages 12-22, IEEE Computer Society, 2000. [doi]
@inproceedings{Mallon00,
title = {On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism},
author = {Willem C. Mallon},
year = {2000},
url = {http://csdl.computer.org/comp/proceedings/async/2000/0586/00/05860012abs.htm},
tags = {C++, transformation},
researchr = {https://researchr.org/publication/Mallon00},
cites = {0},
citedby = {0},
pages = {12-22},
booktitle = {6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2-6 April 2000, Eilat, Israel},
publisher = {IEEE Computer Society},
isbn = {0-7695-0586-4},
}