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 language | English |
---|---|
Title of host publication | Proceedings 12th International Conference on Application of Concurrency to System Design (ACSD'12, Hamburg, Germany, June 27-29, 2012) |
Place of Publication | Piscataway |
Publisher | IEEE Computer Society |
Pages | 42-51 |
ISBN (Print) | 978-0-7695-4709-1 |
DOIs | |
Publication status | Published - 2012 |
Event | 12th International Conference on Application of Concurrency to System Design (ACSD 2012) - Hamburg, Germany Duration: 27 Jun 2012 → 29 Jun 2012 Conference number: 12 |
Conference
Conference | 12th International Conference on Application of Concurrency to System Design (ACSD 2012) |
---|---|
Abbreviated title | ACSD 2012 |
Country/Territory | Germany |
City | Hamburg |
Period | 27/06/12 → 29/06/12 |