On the Preservation of Properties when Changing Communication Models

Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse

In a system of processes that communicate asynchronously by means of FIFO channels, there are many options in which these channels can be laid out. In this paper, we compare channe…