Output details

On locality and the exchange law for concurrent processes

<10> This international collaboration with world-leading researchers explores a deep relationship between concurrent Kleene algebras and separation logic, using techniques from semigroup theory and resource models. It provides a previously unknown link between true concurrency models and resource-based models such as separation logic. It significantly simplifies previous approaches to abstract separation logic and clarifies, from a mathematical point of view, the role of locality in this context. The paper appeared at the leading concurrency conference (CONCUR 2011). The work was carried out as part of a joint EPSRC project (EP/G031711/1) with Kings on applying constructive type theory to model-driven architecture.