• A theory of reversibility for...

Treffer: A theory of reversibility for Erlang

Title:
A theory of reversibility for Erlang
Authors:
Lanese, Ivan a, Nishida, Naoki b, Palacios, Adrián c, Vidal, Germán c, ⁎
Source:
In Journal of Logical and Algebraic Methods in Programming November 2018 100:71-97
Database:
ScienceDirect