The Reversible Temporal Process Language.

Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen

Browse the full FORTE paper archive.