Titlebook: Reversible Computation; 15th International C Martin Kutrib,Uwe Meyer Conference proceedings 2023 The Editor(s) (if applicable) and The Auth

粗野

d management of different actors (state-owned enterprises, local public utilities, ministries, municipalities, citizens, etc.), involved at different levels in the production and provision of public services, m978-3-7908-2839-9978-3-7908-2750-7Series ISSN 1431-1941 Series E-ISSN 2197-716X

有特色

d management of different actors (state-owned enterprises, local public utilities, ministries, municipalities, citizens, etc.), involved at different levels in the production and provision of public services, m978-3-7908-2839-9978-3-7908-2750-7Series ISSN 1431-1941 Series E-ISSN 2197-716X

harpsichord

Ahmet Celal Cem Sayd management of different actors (state-owned enterprises, local public utilities, ministries, municipalities, citizens, etc.), involved at different levels in the production and provision of public services, m978-3-7908-2839-9978-3-7908-2750-7Series ISSN 1431-1941 Series E-ISSN 2197-716X

舊石器

后天習(xí)得

Robert Glück,Ivan Lanese,Claudio Antares Mezzina,Jaros?aw Adam Miszczak,Iain Phillips,Irek Ulidowskid management of different actors (state-owned enterprises, local public utilities, ministries, municipalities, citizens, etc.), involved at different levels in the production and provision of public services, m978-3-7908-2839-9978-3-7908-2750-7Series ISSN 1431-1941 Series E-ISSN 2197-716X

按等級(jí)

978-3-031-38099-0The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl

悄悄移動(dòng)

危險(xiǎn)

MEEK

發(fā)芽

Implementation of?a?Reversible Distributed Calculusams and protocols. This project, IRDC, is concerned with the implementation of such an abstraction for . 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.