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

In this article we present a process algebra in which the behaviour in the absence of certain actions can be speci ed. Processes of the form [: S, P ] represent a behaviour which is speci ed by P but only in an environment which cannot perform any action in S. If the environment can perform an action in S, the process is suspended. This is useful in specifying priority, time outs, interrupts etc. We present a few examples which illustrate the use of the extended calculus. A bisimulation relation induced by a labelled transition system is then considered. We present a few properties which form the basis for a sound and complete axiomatisation of a bisimulation equivalence relation. This requires an extension of the syntax. This is because the absence of information from the environment used in the operational semantics is captured syntactically. A comparison with other approaches is presented.

An Asynchronous Calculus Based on the Absence of Actions