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

Petri nets are a well-known model of concurrency and provide an ideal setting for the study
of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a …

Distributed antenna selection for distributed massive multiple input multiple output (MIMO)
communication systems reduces computational complexity compared to centralized …

Abstract Reversing Petri nets (RPNs) have recently been proposed as a net-based
approach to model causal and out-of-causal order reversibility. They are based on the …

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 …

In this chapter we give an overview of techniques for the modelling and reasoning about
reversibility of systems, including outof-causal-order reversibility, as it appears in chemical …

Software plays a central role in all aspects of reversible computing. We survey the breadth of
topics and recent activities on reversible software and systems including behavioural types …

Reversing Petri nets (RPNs) have recently been proposed as a net-basedapproach to
model causal and out-of-causal order reversibility. They are based on the notion of …

Abstract Reversing Petri nets (RPNs) have been proposed as a reversible approach to Petri
nets, which allows the transitions of a net to be reversed. This work presents an approach …

Abstract Reversing Petri nets (RPNs) have recently proposed as a Petri-net inspired
formalism that supports the modelling of causal and out-of-causal order reversibility. In …