Explicit Identifiers and Contexts in Reversible Concurrent Calculus

Clément Aubert, Doriana Medić

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

Existing formalisms for the algebraic specification and representation of networks of reversible agents suffer some shortcomings. Despite multiple attempts, reversible declensions of the Calculus of Communicating Systems (CCS) do not offer satisfactory adaptation of notions usual in “forward-only” process algebras, such as replication or context. Existing formalisms disallow the “hot-plugging” of processes during their execution in contexts with their own past. They also assume the existence of “eternally fresh” keys or identifiers that, if implemented poorly, could result in unnecessary bottlenecks and look-ups involving all the threads. In this paper, we begin investigating those issues, by first designing a process algebra endowed with a mechanism to generate identifiers without the need to consult with the other threads. We use this calculus to recast the possible representations of non-determinism in CCS, and as a by-product establish a simple and straightforward definition of concurrency. Our reversible calculus is then proven to satisfy expected properties. We also observe that none of the reversible bisimulations defined thus far are congruences under our notion of “reversible” contexts.

Original languageEnglish (US)
Title of host publicationReversible Computation 13th International - 13th International Conference, RC 2021, Proceedings
EditorsShigeru Yamashita, Tetsuo Yokoyama
PublisherSpringer Science and Business Media Deutschland GmbH
Pages144-162
Number of pages19
ISBN (Print)9783030798369
DOIs
StatePublished - 2021
Event13th International Conference on Reversible Computation, RC 2021 - Virtual, Online
Duration: Jul 7 2021Jul 8 2021

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12805 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference13th International Conference on Reversible Computation, RC 2021
CityVirtual, Online
Period7/7/217/8/21

Keywords

  • Context for reversible calculi
  • Formal semantics
  • Process algebras and calculi

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'Explicit Identifiers and Contexts in Reversible Concurrent Calculus'. Together they form a unique fingerprint.

Cite this