Prokharau, MikhailGerlach, DanielKeul, Steffen2023-03-202023-03-202011https://dl.gi.de/handle/20.500.12116/40973While many software projects requiring some form of parallelisation resort to standard synchronisation mechanisms offered by a programming language or a standard library of choice, other synchronisation techniques exist. This paper presents predicate-based synchronisation constructs and discusses the possibilities of their detection and static analysis.enText/Journal Article0720-8928