On the preservation of properties when changing communication models

DOI10.1007/978-3-031-23101-8_16arXiv2210.06196OpenAlexW4313429636MaRDI QIDQ6169530

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

Publication date: 14 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2210.06196

zbMATH Keywords

confluenceasynchronous communicationcommunication modelsproperty preservation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• On the diversity of asynchronous communication
• A hierarchy of communication models for message sequence charts
• Property preserving abstractions for the verification of concurrent systems
• Temporal-logic property preservation under Z refinement
• Time, clocks, and the ordering of events in a distributed system
• Non axiomatisability of positive relation algebras with constants, via graph homomorphisms
• Verification: Theory and Practice
• Efficient Property Preservation Checking of Model Refinements

This page was built for publication: On the preservation of properties when changing communication models