Static VS Dynamic Reversibility in CCS

Abstract

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

Topics

3 Figures and Tables

Slides referencing similar topics