Reversibility in Process Calculi with Nondeterminism and Probabilities.

Marco Bernardo, Claudio Antares Mezzina

Browse the full ICTAC paper archive.