Journal article

Untanglings: a novel approach to analyzing concurrent systems

Artem Polyvyanyy, Marcello La Rosa, Chun Ouyang, Arthur HM ter Hofstede



Substantial research efforts have been expended to deal with the complexity of concurrent systems that is inherent to their analysis, e.g., works that tackle the well-known state space explosion problem. Approaches differ in the classes of properties that they are able to suitably check and this is largely a result of the way they balance the trade-off between analysis time and space employed to describe a concurrent system. One interesting class of properties is concerned with behavioral characteristics. These properties are conveniently expressed in terms of computations, or runs, in concurrent systems. This article introduces the theory of untanglings that exploits a particular representa..

View full abstract


Awarded by Australian Research Council

Funding Acknowledgements

This work is partly funded by the Australian Research Council grant LP110100252. NICTA is funded by the Australian Government (Department of Broadband, Communications and the Digital Economy) and the Australian Research Council through the ICT Centre of Excellence program.