A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä
All congruences below stability-preserving fair testing or CFFD (2020)


Valmari, A. (2020). All congruences below stability-preserving fair testing or CFFD. Acta Informatica, 57(3-5), 353-383. https://doi.org/10.1007/s00236-019-00364-4


JYU-tekijät tai -toimittajat


Julkaisun tiedot

Julkaisun kaikki tekijät tai toimittajatValmari, Antti

Lehti tai sarjaActa Informatica

ISSN0001-5903

eISSN1432-0525

Julkaisuvuosi2020

Volyymi57

Lehden numero3-5

Artikkelin sivunumerot353-383

KustantajaSpringer

JulkaisumaaSaksa

Julkaisun kielienglanti

DOIhttps://doi.org/10.1007/s00236-019-00364-4

Julkaisun avoin saatavuusAvoimesti saatavilla

Julkaisukanavan avoin saatavuusOsittain avoin julkaisukanava

Julkaisu on rinnakkaistallennettu (JYX)https://jyx.jyu.fi/handle/123456789/74631


Tiivistelmä

In process algebras, a congruence is an equivalence that remains valid when any subsystem is replaced by an equivalent one. Whether or not an equivalence is a congruence depends on the set of operators used in building systems from subsystems. Numerous congruences have been found, differing from each other in fine details, major ideas, or both, and none of them is good for all situations. The world of congruences seems thus chaotic, which is unpleasant, because the notion of congruence is at the heart of process algebras. This study continues attempts to clarify the big picture by proving that in certain sub-areas, there are no other congruences than those that are already known or found in the study. First, the region below stability-preserving fair testing equivalence is surveyed using an exceptionally small set of operators. The region contains few congruences, which is in sharp contrast with an earlier result on the region below Chaos-Free Failures Divergences (CFFD) equivalence, which contains 40 well-known and not well-known congruences. Second, steps are taken towards a general theory of dealing with initial stability, which is a small but popular detail. This theory is applied to the region below CFFD.


YSO-asiasanattietojenkäsittelyrinnakkaiskäsittely


Liittyvät organisaatiot


OKM-raportointiKyllä

Raportointivuosi2020

JUFO-taso2


Viimeisin päivitys 2024-25-03 klo 13:49