Implementing Reversible Concurrent Process Calculi

Peter Browning

2021 Augusta University CURS SSP Symposium

Implementing Reversible Concurrent Process Calculi — presentation photo 1 of 3
Implementing Reversible Concurrent Process Calculi — presentation photo 2 of 3
Implementing Reversible Concurrent Process Calculi — presentation photo 3 of 3