TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

The Congruences Below Fair Testing with Initial Stability

Tutkimustuotos: vertaisarvioituKonferenssiartikkeli

Yksityiskohdat

AlkuperäiskieliEnglanti
Otsikko2016 16th International Conference on Application of Concurrency to System Design
KustantajaIEEE
Sivut25-34
Sivumäärä10
ISBN (elektroninen)978-1-5090-2589-3
ISBN (painettu)978-1-5090-0763-9
DOI - pysyväislinkit
TilaJulkaistu - 6 helmikuuta 2017
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa
TapahtumaAPPLICATION OF CONCURRENCY TO SYSTEM DESIGN -

Julkaisusarja

Nimi
ISSN (painettu)1550-4808

Conference

ConferenceAPPLICATION OF CONCURRENCY TO SYSTEM DESIGN
Ajanjakso1/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.

!!ASJC Scopus subject areas

Tutkimusalat

Julkaisufoorumi-taso

Tilastokeskuksen tieteenalat