On the Preservation of Properties When Changing Communication Models

Olav Bunte; Louis C.M. van Gool; Tim A.C. Willemse

doi:10.1007/978-3-031-23101-8_16

On the Preservation of Properties When Changing Communication Models

Olav Bunte (Corresponderende auteur)
, Louis C.M. van Gool
, Tim A.C. Willemse

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

1 Citaat (Scopus)

17 Downloads (Pure)

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-2	Engels
Titel	SOFSEM 2023: Theory and Practice of Computer Science
Subtitel	48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings
Redacteuren	Leszek Gasieniec
Uitgeverij	Springer
Pagina's	239-253
Aantal pagina's	15
ISBN van elektronische versie	978-3-031-23101-8
ISBN van geprinte versie	978-3-031-23100-1
DOI's	https://doi.org/10.1007/978-3-031-23101-8_16
Status	Gepubliceerd - 1 jan. 2023
Evenement	48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023 - Nový Smokovec, Slovakije Duur: 15 jan. 2023 → 18 jan. 2023

Publicatie series

Naam	Lecture Notes in Computer Science (LNCS)
Volume	13878
ISSN van geprinte versie	0302-9743
ISSN van elektronische versie	1611-3349

Congres

Congres	48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023
Land/Regio	Slovakije
Stad	Nový Smokovec
Periode	15/01/23 → 18/01/23

Financiering

This work was carried out as part of the VOICE-B project, which is funded by Canon Production Printing.

Toegang tot document

10.1007/978-3-031-23101-8_16

pdfDefinitieve gepubliceerde versie, 645 KBLicentie: TAVERNE

Andere bestanden en links

Link naar publicatie in Scopus

Citeer dit

Bunte, O., van Gool, L. C. M., & Willemse, T. A. C. (2023). On the Preservation of Properties When Changing Communication Models. In L. Gasieniec (editor), SOFSEM 2023: Theory and Practice of Computer Science: 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings (blz. 239-253). (Lecture Notes in Computer Science (LNCS); Vol. 13878 ). Springer. https://doi.org/10.1007/978-3-031-23101-8_16

Bunte, Olav ; van Gool, Louis C.M. ; Willemse, Tim A.C. / On the Preservation of Properties When Changing Communication Models. SOFSEM 2023: Theory and Practice of Computer Science: 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings. redacteur / Leszek Gasieniec. Springer, 2023. blz. 239-253 (Lecture Notes in Computer Science (LNCS)).

@inproceedings{0e31a1a00df34191a6ba36266247b107,

title = "On the Preservation of Properties When Changing Communication Models",

abstract = "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.",

keywords = "Asynchronous communication, Communication models, Confluence, Property preservation",

author = "Olav Bunte and \{van Gool\}, \{Louis C.M.\} and Willemse, \{Tim A.C.\}",

year = "2023",

month = jan,

day = "1",

doi = "10.1007/978-3-031-23101-8\_16",

language = "English",

isbn = "978-3-031-23100-1",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "239--253",

editor = "Leszek Gasieniec",

booktitle = "SOFSEM 2023: Theory and Practice of Computer Science",

address = "Germany",

note = "48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023 ; Conference date: 15-01-2023 Through 18-01-2023",

}

Bunte, O , van Gool, LCM & Willemse, TAC 2023, On the Preservation of Properties When Changing Communication Models. in L Gasieniec (reds.), SOFSEM 2023: Theory and Practice of Computer Science: 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings. Lecture Notes in Computer Science (LNCS), vol. 13878 , Springer, blz. 239-253, 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakije, 15/01/23. https://doi.org/10.1007/978-3-031-23101-8_16

On the Preservation of Properties When Changing Communication Models. / Bunte, Olav (Corresponderende auteur); van Gool, Louis C.M.; Willemse, Tim A.C.
SOFSEM 2023: Theory and Practice of Computer Science: 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings. reds. / Leszek Gasieniec. Springer, 2023. blz. 239-253 (Lecture Notes in Computer Science (LNCS); Vol. 13878 ).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - On the Preservation of Properties When Changing Communication Models

AU - Bunte, Olav

AU - van Gool, Louis C.M.

AU - Willemse, Tim A.C.

PY - 2023/1/1

Y1 - 2023/1/1

N2 - 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.

AB - 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.

KW - Asynchronous communication

KW - Communication models

KW - Confluence

KW - Property preservation

UR - https://www.scopus.com/pages/publications/85146691778

U2 - 10.1007/978-3-031-23101-8_16

DO - 10.1007/978-3-031-23101-8_16

M3 - Conference contribution

AN - SCOPUS:85146691778

SN - 978-3-031-23100-1

T3 - Lecture Notes in Computer Science (LNCS)

SP - 239

EP - 253

BT - SOFSEM 2023: Theory and Practice of Computer Science

A2 - Gasieniec, Leszek

PB - Springer

T2 - 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023

Y2 - 15 January 2023 through 18 January 2023

ER -

Bunte O , van Gool LCM , Willemse TAC. On the Preservation of Properties When Changing Communication Models. In Gasieniec L, redacteur, SOFSEM 2023: Theory and Practice of Computer Science: 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings. Springer. 2023. blz. 239-253. (Lecture Notes in Computer Science (LNCS)). doi: 10.1007/978-3-031-23101-8_16