English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Local analysis has long been recognised as an effective tool to combat thestate-space explosion problem. In this work, we propose a method thatsystematises the use of local analysis in the verification of deadlock freedomfor concurrent and distributed systems. It combines a strategy for systemdecomposition with the verification of the decomposed subsystems via adherenceto behavioural patterns. At the core of our work, we have a number of CSPrefinement expressions that allows the user of our method to automaticallyverify all the behavioural restrictions that we impose. We also propose aprototype tool to support our method. Finally, we demonstrate the practicalimpact our method can have by analysing how it fares when applied to someexamples.

A Pattern-based deadlock-freedom analysis strategy for concurrent systems