Pages that link to "Item:Q5369493"

The following pages link to Reversible Term Rewriting (Q5369493):

Displaying 4 items.

• Reversible computation in term rewriting (Q1683707) (← links)
• A theory of reversibility for Erlang (Q1785852) (← links)
• The \(\aleph \)-calculus. A declarative model of reversible programming (Q2097425) (← links)
• Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs (Q4989177) (← links)