Static VS Dynamic Reversibility in CCS


The notion of reversible computing is attracting interest because of its applications in diverse fields, in particular the study of programming abstractions for fault tolerant systems. Reversible CCS (RCCS), proposed by Danos and Krivine, enacts reversibility by means of memory stacks. Ulidowski and Phillips proposed a general method to reverse a process… (More)
DOI: 10.1007/978-3-319-40578-0_3


3 Figures and Tables

Slides referencing similar topics