activity
20172026
most citedStructural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)

3 citations · 5 across the 4 of their papers we have counts for

collaborators
Showing cs.DCShow all

1 paper · 1 filter

cs.DC2020

How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation

Clément Aubert, Ioana Cristescu

Reversible computation opens up the possibility of overcoming some of the hardware's current physical limitations. It also offers theoretical insights, as it enriches multiple para…