A trace-based semantics for responsiveness

W. Vogler, C. Stahl, R. Müller

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

Abstract

In the context of asynchronously communicating services, responsiveness guarantees that a service and its environment have always the possibility to communicate. The responsiveness preorder describes when one service can be replaced by another such that responsiveness is preserved. We study responsiveness for possibly unbounded services with and without final states, and present for both preorder variants a semantical characterization based on traces. Surprisingly, the preorders turn out not to be precongruences, and for both we characterize the coarsest precongruence which is contained in the respective preorder.
Original languageEnglish
Title of host publicationProceedings 12th International Conference on Application of Concurrency to System Design (ACSD'12, Hamburg, Germany, June 27-29, 2012)
Place of PublicationPiscataway
PublisherIEEE Computer Society
Pages42-51
ISBN (Print)978-0-7695-4709-1
DOIs
Publication statusPublished - 2012
Event12th International Conference on Application of Concurrency to System Design (ACSD 2012) - Hamburg, Germany
Duration: 27 Jun 201229 Jun 2012
Conference number: 12

Conference

Conference12th International Conference on Application of Concurrency to System Design (ACSD 2012)
Abbreviated titleACSD 2012
Country/TerritoryGermany
CityHamburg
Period27/06/1229/06/12

Fingerprint

Dive into the research topics of 'A trace-based semantics for responsiveness'. Together they form a unique fingerprint.

Cite this