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

This paper presents a study of causality in a reversible, concurrent setting.There exist various notions of causality in pi-calculus, which differ in thetreatment of parallel extrusions of the same name. In this paper we present auniform framework for reversible pi-calculi that is parametric with respect toa data structure that stores information about an extrusion of a name.Different data structures yield different approaches to the parallel extrusionproblem. We map three well-known causal semantics into our framework. We showthat the (parametric) reversibility induced by our framework is causally-consistent and prove a causal correspondence between an appropriate instance ofthe framework and Boreale and Sangiorgi's causal semantics.

A Parametric Framework for Reversible $\pi$-Calculi