A notable example is the lack of supporting to the reasoning about a highly flexible C11 synchronisation mechanism, the release-sequence. Recently, the FSL++ logic proposed by Doko and Vafeiadis moves ...

Intuitionistic fuzzy set theory, proposed by Atanassov, is the most influential extension of Zadehpsilas fuzzy set theory. This paper combines intuitionistic fuzzy set theory with rough set theory and ...