Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina
Coordinating component behaviour and, in particular, concurrent access to resources is among the key difficulties of building large concurrent systems. To address this, developers must be able to manipulate high-level concepts, such as Finite State Machine ...
2013