Colloquium Computer Science - Clément Aubert, Augusta University

Title: The Correctness of Concurrencies in (Reversible) Concurrent Calculi

Abstract:

Most computers today are designed to operate unidirectionally, but adiabatic, quantum, and biological computers require bidirectional flow of computation, as they are reversible in nature. Those promising technologies have already started to revolutionize the very essence of computing, but also of communicating. Of interest to us are specification languages for reversible protocols, and how they can enlighten our understanding of what it means to "undo" a communication. The work we will be presenting is concerned with operator algebras, and more particularly with the notion(s) of independence (or concurrency) they use. We will present a novel correctness criterion for the definition of concurrency for reversible systems, that can in retrospect provide forward-only systems a way of checking that their definitions of independence for co-initial and composable transitions "play well together".

This work is an extension of a recent publication in Reversible Computation 2022, whose post-print is available at: