This paper shows that weak bisimulation congruence can be characterised as rooted weak bisimulation equivalence, even without making assumptions on the cardinality of the sets of states or actions of the processes under consideration.

In this paper we introduce the conditional entropy without a fuzzy measure for the union of fuzzy partitions. We recall its properties and we solve the system of functional equations which derives from these conditions, taking into account the locality principle and the independence axiom.

9 The theory of chi processes with the mismatch operator is studied. Four congruence relations are investigated. These are late open congruence, early open congruence, ground congruence and 11 barbed congruence. The late and early open congruence relations are the chi calculus counterparts of the weak late and early congruence relations of pi calculus. Both turn out to be special cases 13 of th...

A new weak bisimulation semantics is defined for Markov automata that, in addition to abstracting from internal actions, sums up the expected values of consecutive exponentially distributed delays possibly intertwined with internal actions. The resulting equivalence is shown to be a congruence with respect to parallel composition for Markov automata. Moreover, it turns out to be comparable with...

We show by standard automated theorem proving methods and freely available automated theorem prover software that axiom (A2), stating that multiplicative conjunction implies its first member, is provable from other axioms in fuzzy logics BL and MTL without using axiom (A3), which is known to be provable from other axioms [1]. We also use freely available automated model generation software to s...

It is well known that lattice-valued rough sets are important branches of fuzzy sets. The axiomatic characterization and related topology the main research directions For L=(L,⊛), a complete co-residuated lattice (CCRL), Qiao recently defined an L-fuzzy lower approximation operator (LFLAO) on basis relation. In this article, we give further study Qiao’s LFLAO around induced L-topology. Firstly,...

Abstract We study the problem of sharing revenues from broadcasting sports leagues axiomatically. Our key axiom is anonymity, classical impartiality axiom. Other axioms already studied in problems are equal treatment equals, weak equals and symmetry. relationship between all axioms. Besides we combine anonymity with other that have been considered literature. Some combinations give rise to new ...

Weak equivalences are important behavioral equivalences in the course of specifying and analyzing reactive systems using process algebraic languages. In this paper, we propose a series of weak equivalences named weak parametric readiness equivalences, which take two previously-known behavioral equivalences, i.e., the weak readiness equivalence and the weak possible future equivalence, as their ...