Olav Bunte: Asynchronously communicating OIL components

Event Details

In this presentation we focus on how we envision OIL components to communicate with each other. We define the behaviour of communicating OIL components using a formalism found in literature, namely the FIFO system, and we show how this can be modelled in mCRL2. Also, we show some typical unwanted behaviour in asynchronous communication and discuss the difficulty of checking whether such behaviour is present.