Reversible, Irreversible and Optimal ...-machines (1996)

by Vincent Danos , Laurent Regnier
Venue:in Electronic Notes in Theoretical Computer Science
Citations:2 - 0 self