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…