Analysis and applications of the XDI model

It is,not always straight forward to implement a network that is robust enough to be functionally independent of communication delay. in order, to specify and verify so called Delay I,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? models and a distributive parallel composition cannot coexist.