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

Details

Original languageEnglish
Title of host publication2016 16th International Conference on Application of Concurrency to System Design
PublisherIEEE
Pages25-34
Number of pages10
ISBN (Electronic)978-1-5090-2589-3
ISBN (Print)978-1-5090-0763-9
DOIs
Publication statusPublished - 6 Feb 2017
Publication typeA4 Article in a conference publication
EventApplication of Concurrency to System Design -
Duration: 1 Jan 1900 → …

Publication series

Name
ISSN (Print)1550-4808

Conference

ConferenceApplication of Concurrency to System Design
Period1/01/00 → …

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.

ASJC Scopus subject areas

Keywords

  • congruence; fair testing equivalence; initial stability

Publication forum classification

Field of science, Statistics Finland