Introducing Time Passage to the Reversible Semantics for Erlang.

Yuna Sadamoto, Shoji Yuen, Claudio Antares Mezzina

Browse the full RC paper archive.