Publication:3384916
From MaRDI portal
Shoji Yuen, James Hoey, Irek Ulidowski
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1808.08651
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Reversibility of Executable Interval Temporal Logic Specifications, Reversible Imperative Parallel Programs and Debugging, Saving memory space in deep neural networks by recomputing: a survey, A reversible debugger for imperative parallel programs with contracts, From reversible programming languages to reversible metalanguages
Cites Work