The Congruences Below Fair Testing with Initial Stability
Tutkimustuotos › › vertaisarvioitu
Yksityiskohdat
Alkuperäiskieli | Englanti |
---|---|
Otsikko | 2016 16th International Conference on Application of Concurrency to System Design |
Kustantaja | IEEE |
Sivut | 25-34 |
Sivumäärä | 10 |
ISBN (elektroninen) | 978-1-5090-2589-3 |
ISBN (painettu) | 978-1-5090-0763-9 |
DOI - pysyväislinkit | |
Tila | Julkaistu - 6 helmikuuta 2017 |
OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisussa |
Tapahtuma | APPLICATION OF CONCURRENCY TO SYSTEM DESIGN - Kesto: 1 tammikuuta 1900 → … |
Julkaisusarja
Nimi | |
---|---|
ISSN (painettu) | 1550-4808 |
Conference
Conference | APPLICATION OF CONCURRENCY TO SYSTEM DESIGN |
---|---|
Ajanjakso | 1/01/00 → … |
Tiivistelmä
When analysing behaviours of concurrent systems with process-algebraic methods, the notion of congruence plays a central role. It means an equivalence that remains valid if any subsystem is replaced by an equivalent one. It facilitates powerful compositional methods for the verification of systems. Unfortunately, so many congruences have been defined in the literature that it is difficult to know about them all. Furthermore, it may be that the best congruence for the task at hand is not yet known. The present study continues a line of research that tries to help the situation by choosing a region, listing all congruences in it, and proving that there are no others. The present study covers the congruences that are implied by fair testing equivalence with initial stability. The most important finding is that this region contains only few previously unknown congruences, and none of them seems interesting.