Olav Bunte: The impact of the channel layout in asynchronous communication

Event Details

During our work on the asynchronous communication of OIL components, we started to wonder what the impact would be of changing the communication model. In this presentation I will present our current findings. I will shortly explain related work from Engels, Mauw and Reniers on the hierarchy of communication models that served as the basis and then show how we have adapted this to the context of FIFO systems. Differences between communication models is shown by an example. Lastly, I show in what cases confluence is preserved when switching to another communication model.