En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad

2019 ◽  
pp. 366-384 ◽  
Author(s):  
Robin Kaarsgaard ◽  
Niccolò Veltri
Keyword(s):  
Reversible Computation

scholarly journals Reversible computation vs. reversibility in Petri nets

2018 ◽  
Vol 151 ◽  
pp. 48-60 ◽  
Author(s):  
Kamila Barylska ◽  
Maciej Koutny ◽  
Łukasz Mikulski ◽  
Marcin Piątkowski
Keyword(s):  
Petri Nets ◽  
Reversible Computation

Reversible Computation in Asynchronous Cellular Automata

2002 ◽  
pp. 220-229 ◽  
Author(s):  
Jia Lee ◽  
Ferdinand Peper ◽  
Susumu Adachi ◽  
Kenichi Morita ◽  
Shinro Mashiko
Keyword(s):  
Cellular Automata ◽  
Reversible Computation ◽  
Asynchronous Cellular Automata

Time/Space Trade-Offs for Reversible Computation

1989 ◽  
Vol 18 (4) ◽  
pp. 766-776 ◽  
Author(s):  
Charles H. Bennett
Keyword(s):  
Reversible Computation ◽  
Time Space ◽  
Trade Offs

scholarly journals Reversible computation in term rewriting

2018 ◽  
Vol 94 ◽  
pp. 128-149 ◽  
Author(s):  
Naoki Nishida ◽  
Adrián Palacios ◽  
Germán Vidal
Keyword(s):  
Term Rewriting ◽  
Reversible Computation

A heat engine model of a reversible computation

1990 ◽  
Vol 78 (5) ◽  
pp. 817-825 ◽  
Author(s):  
D.G. Jablonski
Keyword(s):  
Heat Engine ◽  
Reversible Computation ◽  
Engine Model
Sign in / Sign up

Export Citation Format

Share Document