3 citations · 9 across the 11 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.FL2020★ 3 cited
Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)
Clément Aubert, Ioana Cristescu
The formalization of process algebras usually starts with a minimal core of operators and rules for its transition system, and then relax the system to improve its usability and ea…
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…