On the Preservation of Properties When Changing Communication Models

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Samenvatting

In a system of processes that communicate asynchronously by means of FIFO channels, there are many options in which these channels can be laid out. In this paper, we compare channel layouts in how they affect the behaviour of the system using an ordering based on splitting and merging channels. This order induces a simulation relation, from which the preservation of safety properties follows. Also, we identify conditions under which the properties reachability, deadlock freedom and confluence are preserved when changing the channel layout.

Originele taal-2Engels
TitelSOFSEM 2023
SubtitelTheory and Practice of Computer Science - 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Proceedings
RedacteurenLeszek Gasieniec
UitgeverijSpringer
Pagina's239-253
Aantal pagina's15
ISBN van geprinte versie9783031231001
DOI's
StatusGepubliceerd - 2023
Evenement48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023 - Nový Smokovec, Slovakije
Duur: 15 jan. 202318 jan. 2023

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13878 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Congres

Congres48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023
Land/RegioSlovakije
StadNový Smokovec
Periode15/01/2318/01/23

Bibliografische nota

Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Vingerafdruk

Duik in de onderzoeksthema's van 'On the Preservation of Properties When Changing Communication Models'. Samen vormen ze een unieke vingerafdruk.

Citeer dit