Despite the plausible necessity of topological protection for realizing scalable quantum
computers, the conceptual underpinnings of topological quantum logic gates had arguably …

Software plays a central role in all aspects of reversible computing systems, and a variety of
reversible programming languages have been developed. This presentation highlights the …

The reliability of concurrent and distributed systems often depends on some well-known
techniques for fault tolerance. One such technique is based on checkpointing and rollback …

Compact closed categories include objects representing higher-order functions and are well-
established as models of linear logic, concurrency, and quantum computing. We show that it …

Reversible CCS (RCCS) is a well-established, formal model for reversible communicating
systems, which has been built on top of the classical Calculus of Communicating Systems …

Reversible prime event structures extend the well-known model of prime event structures to
represent reversible computational processes. Essentially, they give abstract descriptions of …

Reversible computation is a form of computing that allows operations to be executed in both
the forward as well as the backward direction. In this paper we propose an approach …

Event structures have emerged as a foundational model for concurrent computation,
explaining computational processes by outlining the events and the relationships that dictate …

Reaction systems are a formal model of computation providing a framework for investigating
biochemical reactions inside living cells. We look at the functioning of these systems as a …

Abstract Causal nets (CNs) are Petri nets where causal dependencies are modelled via
inhibitor arcs. They play the role of occurrence nets when representing the behaviour of a …