Analysis and applications of the XDI model

W.C. Mallon, J.T. Udding, T. Verhoeff
Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems  
It is not always straightforward to implement a network that is robust enough to be functionally independent of communication delay. In order to specify and verify so called Delay Insensitive networks, numerous models and formalisms have been developed. In this paper we analyze one of the most expressive models. We show how based on rewrite rules we can compute, rather than invent parts of a network. We implemented these computations in a tool. We also show how healthiness, finite execution
more » ... ls and a distributive parallel composition cannot coexist.
doi:10.1109/async.1999.761537 dblp:conf/async/MallonUV99 fatcat:g7bkdyggojgh5mz34vztazkg5m