Replications in Reversible Concurrent Calculi

Clément Aubert

doi:10.1007/978-3-031-38100-3_2

Replications in Reversible Concurrent Calculi

Clément Aubert

Computer & Cyber Sciences

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Scopus citations

Abstract

Process calculi such as CCSor the π -calculus provide specification languages for the study and correctness of communication protocols. They also served in detailing subtle differences between formalisms to represent infinite behaviors, notably in expressiveness [7, 16]. To our knowledge, such results were never investigated from a reversible perspective. One question we would like to answer is how recursion, replication and iteration compare in the reversible setting. Of course, comparing them requires to define them first, and this short note highlights some of the difficulties in defining replication for reversible concurrent calculi.

Original language	English (US)
Title of host publication	Reversible Computation - 15th International Conference, RC 2023, Proceedings
Editors	Martin Kutrib, Uwe Meyer
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	15-23
Number of pages	9
ISBN (Print)	9783031380990
DOIs	https://doi.org/10.1007/978-3-031-38100-3_2
State	Published - 2023
Event	15th International Conference on Reversible Computation, RC 2023 - Giessen, Germany Duration: Jul 18 2023 → Jul 19 2023

Publication series

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

Conference

Conference	15th International Conference on Reversible Computation, RC 2023
Country/Territory	Germany
City	Giessen
Period	7/18/23 → 7/19/23

Keywords

Concurrency
Formal semantics
Process algebras and calculi
Replication
Reversible Computation

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-031-38100-3_2

Cite this

Aubert, C. (2023). Replications in Reversible Concurrent Calculi. In M. Kutrib, & U. Meyer (Eds.), Reversible Computation - 15th International Conference, RC 2023, Proceedings (pp. 15-23). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13960 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-38100-3_2

Replications in Reversible Concurrent Calculi. / Aubert, Clément.
Reversible Computation - 15th International Conference, RC 2023, Proceedings. ed. / Martin Kutrib; Uwe Meyer. Springer Science and Business Media Deutschland GmbH, 2023. p. 15-23 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13960 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Aubert, C 2023, Replications in Reversible Concurrent Calculi. in M Kutrib & U Meyer (eds), Reversible Computation - 15th International Conference, RC 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13960 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 15-23, 15th International Conference on Reversible Computation, RC 2023, Giessen, Germany, 7/18/23. https://doi.org/10.1007/978-3-031-38100-3_2

Aubert C. Replications in Reversible Concurrent Calculi. In Kutrib M, Meyer U, editors, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Springer Science and Business Media Deutschland GmbH. 2023. p. 15-23. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-38100-3_2

Aubert, Clément. / Replications in Reversible Concurrent Calculi. Reversible Computation - 15th International Conference, RC 2023, Proceedings. editor / Martin Kutrib ; Uwe Meyer. Springer Science and Business Media Deutschland GmbH, 2023. pp. 15-23 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{834b738a93dc49d3b58a43bdcb5b2c71,

title = "Replications in Reversible Concurrent Calculi",

abstract = "Process calculi such as CCSor the π -calculus provide specification languages for the study and correctness of communication protocols. They also served in detailing subtle differences between formalisms to represent infinite behaviors, notably in expressiveness [7, 16]. To our knowledge, such results were never investigated from a reversible perspective. One question we would like to answer is how recursion, replication and iteration compare in the reversible setting. Of course, comparing them requires to define them first, and this short note highlights some of the difficulties in defining replication for reversible concurrent calculi.",

keywords = "Concurrency, Formal semantics, Process algebras and calculi, Replication, Reversible Computation",

author = "Cl{\'e}ment Aubert",

note = "Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 15th International Conference on Reversible Computation, RC 2023 ; Conference date: 18-07-2023 Through 19-07-2023",

year = "2023",

doi = "10.1007/978-3-031-38100-3_2",

language = "English (US)",

isbn = "9783031380990",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "15--23",

editor = "Martin Kutrib and Uwe Meyer",

booktitle = "Reversible Computation - 15th International Conference, RC 2023, Proceedings",

address = "Germany",

}

TY - GEN

T1 - Replications in Reversible Concurrent Calculi

AU - Aubert, Clément

PY - 2023

Y1 - 2023

N2 - Process calculi such as CCSor the π -calculus provide specification languages for the study and correctness of communication protocols. They also served in detailing subtle differences between formalisms to represent infinite behaviors, notably in expressiveness [7, 16]. To our knowledge, such results were never investigated from a reversible perspective. One question we would like to answer is how recursion, replication and iteration compare in the reversible setting. Of course, comparing them requires to define them first, and this short note highlights some of the difficulties in defining replication for reversible concurrent calculi.

AB - Process calculi such as CCSor the π -calculus provide specification languages for the study and correctness of communication protocols. They also served in detailing subtle differences between formalisms to represent infinite behaviors, notably in expressiveness [7, 16]. To our knowledge, such results were never investigated from a reversible perspective. One question we would like to answer is how recursion, replication and iteration compare in the reversible setting. Of course, comparing them requires to define them first, and this short note highlights some of the difficulties in defining replication for reversible concurrent calculi.

KW - Concurrency

KW - Formal semantics

KW - Process algebras and calculi

KW - Replication

KW - Reversible Computation

UR - http://www.scopus.com/inward/record.url?scp=85169038020&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85169038020&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-38100-3_2

DO - 10.1007/978-3-031-38100-3_2

M3 - Conference contribution

AN - SCOPUS:85169038020

SN - 9783031380990

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 15

EP - 23

BT - Reversible Computation - 15th International Conference, RC 2023, Proceedings

A2 - Kutrib, Martin

A2 - Meyer, Uwe

PB - Springer Science and Business Media Deutschland GmbH

T2 - 15th International Conference on Reversible Computation, RC 2023

Y2 - 18 July 2023 through 19 July 2023

ER -