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 Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

We present a method for thecompositional construction of theminimal transition system that represents the semantics of a given distributed system. Our aim is to control thestate explosion caused by the interleavings of actions of communicating parallel components byreduction steps that exploitglobal communication constraints given in terms ofinterface specifications. Theeffect of the method, which is developed forbisimulation semantics here, depends on the structure of the distributed system under consideration, and theaccuracy of the interface specifications. However, itscorrectness is independent of the correctness of the interface specifications provided by the program designer.

Compositional minimisation of finite state systems using interface specifications