Pages that link to "Item:Q5237216"
From MaRDI portal
The following pages link to Reversible Imperative Parallel Programs and Debugging (Q5237216):
Displaying 7 items.
- Algeo: an algebraic approach to reversibility (Q2097422) (← links)
- Reversibility in Erlang: imperative constructs (Q2097430) (← links)
- Towards causal-consistent reversibility of imperative concurrent programs (Q2097433) (← links)
- (Q5129948) (← links)
- Causal-Consistent Debugging of Distributed Erlang Programs (Q5162602) (← links)
- Reversibility of Executable Interval Temporal Logic Specifications (Q5162611) (← links)
- Reversible debugging of concurrent Erlang programs: supporting imperative primitives (Q6197585) (← links)
