Tampere University of Technology

TUTCRIS Research Portal

The Congruences Below Fair Testing with Initial Stability

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

Standard

The Congruences Below Fair Testing with Initial Stability. / Valmari, Antti.

2016 16th International Conference on Application of Concurrency to System Design. IEEE, 2017. p. 25-34.

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

Harvard

Valmari, A 2017, The Congruences Below Fair Testing with Initial Stability. in 2016 16th International Conference on Application of Concurrency to System Design. IEEE, pp. 25-34, Application of Concurrency to System Design, 1/01/00. https://doi.org/10.1109/ACSD.2016.15

APA

Valmari, A. (2017). The Congruences Below Fair Testing with Initial Stability. In 2016 16th International Conference on Application of Concurrency to System Design (pp. 25-34). IEEE. https://doi.org/10.1109/ACSD.2016.15

Vancouver

Valmari A. The Congruences Below Fair Testing with Initial Stability. In 2016 16th International Conference on Application of Concurrency to System Design. IEEE. 2017. p. 25-34 https://doi.org/10.1109/ACSD.2016.15

Author

Valmari, Antti. / The Congruences Below Fair Testing with Initial Stability. 2016 16th International Conference on Application of Concurrency to System Design. IEEE, 2017. pp. 25-34

Bibtex - Download

@inproceedings{c5bdb46501634d1d8b34bae8e85117d3,
title = "The Congruences Below Fair Testing with Initial Stability",
abstract = "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.",
keywords = "congruence; fair testing equivalence; initial stability",
author = "Antti Valmari",
year = "2017",
month = "2",
day = "6",
doi = "10.1109/ACSD.2016.15",
language = "English",
isbn = "978-1-5090-0763-9",
publisher = "IEEE",
pages = "25--34",
booktitle = "2016 16th International Conference on Application of Concurrency to System Design",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - The Congruences Below Fair Testing with Initial Stability

AU - Valmari, Antti

PY - 2017/2/6

Y1 - 2017/2/6

N2 - 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.

AB - 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.

KW - congruence; fair testing equivalence; initial stability

U2 - 10.1109/ACSD.2016.15

DO - 10.1109/ACSD.2016.15

M3 - Conference contribution

SN - 978-1-5090-0763-9

SP - 25

EP - 34

BT - 2016 16th International Conference on Application of Concurrency to System Design

PB - IEEE

ER -