The following pages link to General Reversibility (Q2866345):
Displaying 11 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- On the hierarchy of d-structures (Q523153) (← links)
- Reversibility and asymmetric conflict in event structures (Q890616) (← links)
- Subobject transformation systems (Q934672) (← links)
- Computational self-assembly (Q953541) (← links)
- An axiomatic approach to reversible computation (Q2200840) (← links)
- Towards a categorical representation of reversible event structures (Q2423742) (← links)
- Reversible computation in nets with bonds (Q2667186) (← links)
- Self-assembling Trees (Q2866313) (← links)
- Reversible Computation vs. Reversibility in Petri Nets (Q3186587) (← links)
- Investigating Reversibility of Steps in Petri Nets (Q5025059) (← links)
