Implementation of a Reversible Distributed Calculus

Clément Aubert; Peter Browning

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

Implementation of a Reversible Distributed Calculus

Clément Aubert, Peter Browning

Computer & Cyber Sciences

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

1 Scopus citations

Abstract

Process calculi (π -calculus, CCS, ambient calculus, etc.) are an abstraction of concurrent systems useful to study, specify and verify distributed programs and protocols. This project, IRDC, is concerned with the implementation of such an abstraction for reversible process calculi. It is, to the best of our knowledge, the first such publicly available tool. We briefly present the current state of this tool, some of its features, and discuss its future developments.

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	210-217
Number of pages	8
ISBN (Print)	9783031380990
DOIs	https://doi.org/10.1007/978-3-031-38100-3_13
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 algebra and calculi
Reversible Computation
Tool implementation

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-031-38100-3_13

Cite this

Aubert, C., & Browning, P. (2023). Implementation of a Reversible Distributed Calculus. In M. Kutrib, & U. Meyer (Eds.), Reversible Computation - 15th International Conference, RC 2023, Proceedings (pp. 210-217). (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_13

Implementation of a Reversible Distributed Calculus. / Aubert, Clément; Browning, Peter.
Reversible Computation - 15th International Conference, RC 2023, Proceedings. ed. / Martin Kutrib; Uwe Meyer. Springer Science and Business Media Deutschland GmbH, 2023. p. 210-217 (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 & Browning, P 2023, Implementation of a Reversible Distributed Calculus. 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. 210-217, 15th International Conference on Reversible Computation, RC 2023, Giessen, Germany, 7/18/23. https://doi.org/10.1007/978-3-031-38100-3_13

Aubert C, Browning P. Implementation of a Reversible Distributed Calculus. In Kutrib M, Meyer U, editors, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Springer Science and Business Media Deutschland GmbH. 2023. p. 210-217. (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_13

Aubert, Clément ; Browning, Peter. / Implementation of a Reversible Distributed Calculus. Reversible Computation - 15th International Conference, RC 2023, Proceedings. editor / Martin Kutrib ; Uwe Meyer. Springer Science and Business Media Deutschland GmbH, 2023. pp. 210-217 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{135fca58e3fe489e846d9d386977f0a7,

title = "Implementation of a Reversible Distributed Calculus",

abstract = "Process calculi (π -calculus, CCS, ambient calculus, etc.) are an abstraction of concurrent systems useful to study, specify and verify distributed programs and protocols. This project, IRDC, is concerned with the implementation of such an abstraction for reversible process calculi. It is, to the best of our knowledge, the first such publicly available tool. We briefly present the current state of this tool, some of its features, and discuss its future developments.",

keywords = "Concurrency, Formal semantics, Process algebra and calculi, Reversible Computation, Tool implementation",

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

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_13",

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 = "210--217",

editor = "Martin Kutrib and Uwe Meyer",

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

address = "Germany",

}

TY - GEN

T1 - Implementation of a Reversible Distributed Calculus

AU - Aubert, Clément

AU - Browning, Peter

PY - 2023

Y1 - 2023

N2 - Process calculi (π -calculus, CCS, ambient calculus, etc.) are an abstraction of concurrent systems useful to study, specify and verify distributed programs and protocols. This project, IRDC, is concerned with the implementation of such an abstraction for reversible process calculi. It is, to the best of our knowledge, the first such publicly available tool. We briefly present the current state of this tool, some of its features, and discuss its future developments.

AB - Process calculi (π -calculus, CCS, ambient calculus, etc.) are an abstraction of concurrent systems useful to study, specify and verify distributed programs and protocols. This project, IRDC, is concerned with the implementation of such an abstraction for reversible process calculi. It is, to the best of our knowledge, the first such publicly available tool. We briefly present the current state of this tool, some of its features, and discuss its future developments.

KW - Concurrency

KW - Formal semantics

KW - Process algebra and calculi

KW - Reversible Computation

KW - Tool implementation

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

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

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

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

M3 - Conference contribution

AN - SCOPUS:85169017274

SN - 9783031380990

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

SP - 210

EP - 217

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 -