Reversible computation allows computation to proceed not only in the standard, forward
direction, but also backward, recovering past states. While reversible computation has …

The notion of reversible computing is attracting interest because of its applications in diverse
fields, in particular the study of programming abstractions for fault tolerant systems. Most …

CCSK is a reversible form of CCS which is causal, meaning that actions can be reversed if
and only if each action caused by them has already been reversed; there is no control on …

Existing formalisms for the algebraic specification and representation of networks of
reversible agents suffer some shortcomings. Despite multiple attempts, reversible …

Causally consistent reversibility relates reversibility in a concurrent system with causality.
Broadcast is a powerful primitive of communication used to model several distributed …

This paper presents a study of causality in a reversible, concurrent setting. There exist
various notions of causality in π-calculus, which differ in the treatment of parallel extrusions …

Much research has studied foundations for correct and reliable communication-centric
software systems. A salient approach to correctness uses verification based on session …

This paper presents a study of causality in a reversible, concurrent setting. There exist
various notions of causality in pi-calculus, which differ in the treatment of parallel extrusions …

Sharing confidential information in distributed systems is often a necessity in the context of
many applications, however, it opens the problem of controlling information sharing even …

The π-calculus is a widely used process calculus, which models communications between
processes and allows the passing of communication links. Various operational semantics of …