General Reversibility

Vincent Danos; Jean Krivine; Pawel Sobociski

doi:10.1016/j.entcs.2006.07.036

General Reversibility

Vincent Danos, Jean Krivine, Pawel Sobociski

Research output: Contribution to journal › Article › peer-review

Abstract

The first and the second author introduced reversible CCS (RCCS) in order to model concurrent computations where certain actions are allowed to be reversed. Here we show that the core of the construction can be analysed at an abstract level, yielding a theorem of pure category theory which underlies the previous results. This opens the way to several new examples; in particular we demonstrate an application to Petri nets.

Original language	English
Pages (from-to)	75-86
Number of pages	12
Journal	Electronic Notes in Theoretical Computer Science
Volume	175
Issue number	3
DOIs	https://doi.org/10.1016/j.entcs.2006.07.036
Publication status	Published - Jun 2007

Keywords / Materials (for Non-textual outputs)

CCS
Petri net
Reversible computation
reversible calculus of communicating systems (RCCS)

Access to Document

10.1016/j.entcs.2006.07.036

General Reversibility
Open Access document
Final published version, 360 KB

http://dx.doi.org/10.1016/j.entcs.2006.07.036

Cite this

@article{d5d0e9e5bdfe42f483c2365fd6b4aa48,

title = "General Reversibility",

abstract = "The first and the second author introduced reversible CCS (RCCS) in order to model concurrent computations where certain actions are allowed to be reversed. Here we show that the core of the construction can be analysed at an abstract level, yielding a theorem of pure category theory which underlies the previous results. This opens the way to several new examples; in particular we demonstrate an application to Petri nets.",

keywords = "CCS, Petri net, Reversible computation, reversible calculus of communicating systems (RCCS)",

author = "Vincent Danos and Jean Krivine and Pawel Sobociski",

year = "2007",

month = jun,

doi = "10.1016/j.entcs.2006.07.036",

language = "English",

volume = "175",

pages = "75--86",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "3",

}

TY - JOUR

T1 - General Reversibility

AU - Danos, Vincent

AU - Krivine, Jean

AU - Sobociski, Pawel

PY - 2007/6

Y1 - 2007/6

N2 - The first and the second author introduced reversible CCS (RCCS) in order to model concurrent computations where certain actions are allowed to be reversed. Here we show that the core of the construction can be analysed at an abstract level, yielding a theorem of pure category theory which underlies the previous results. This opens the way to several new examples; in particular we demonstrate an application to Petri nets.

AB - The first and the second author introduced reversible CCS (RCCS) in order to model concurrent computations where certain actions are allowed to be reversed. Here we show that the core of the construction can be analysed at an abstract level, yielding a theorem of pure category theory which underlies the previous results. This opens the way to several new examples; in particular we demonstrate an application to Petri nets.

KW - CCS

KW - Petri net

KW - Reversible computation

KW - reversible calculus of communicating systems (RCCS)

U2 - 10.1016/j.entcs.2006.07.036

DO - 10.1016/j.entcs.2006.07.036

M3 - Article

SN - 1571-0661

VL - 175

SP - 75

EP - 86

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 3

ER -

General Reversibility

Abstract

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Cite this