Derivation of Characteristic Formulae
نویسنده
چکیده
This paper shows how modal mu-calculus formulae characterizing finite-state processes up to strong or weak bisimulation can be derived directly from the well-known greatest fixpoint characterizations of the bisimulation relations. Our derivation simplifies earlier proofs for the strong bisimulation case and, by virtue of derivation, immediately generalizes to various other bisimulation-like relations, in particular weak bisimulation.
منابع مشابه
Quality Loss Function – A Common Methodology for Three Cases
The quality loss function developed by Genichi Taguchi considers three cases, nominal-thebest, smaller-the-better, and larger-the-better. The methodology used to deal with the larger-thebetter case is slightly different than the other two cases. This research employs a term called target-mean ratio to propose a common formula for all three cases to bring about similarity among them. The target-...
متن کاملA Simple Derivation of Josephson Formulae in Superconductivity
A simple and general derivation of Josephson formulae for the tunneling currents is presented on the basis of Sewell’s general formulation of superconductivity in use of off-diagonal long range order (ODLRO).
متن کامل2 5 Ju l 2 00 5 Derivations for the even parts of modular Lie superalgebras W and S of Cartan type
Let F be the underlying base field of characteristic p > 3 and denote by W and S the even parts of the finite-dimensional generalized Witt Lie superalgebra W and the special Lie superalgebra S, respectively. We first give the generator sets of the Lie algebras W and S. Using certain properties of the canonical tori of W and S, we then determine the derivation algebra of W and the derivation spa...
متن کاملExtended Linial Hyperplane Arrangements for Root Systems and a Conjecture of Postnikov and Stanley
A hyperplane arrangement is said to satisfy the “Riemann hypothesis” if all roots of its characteristic polynomial have the same real part. This property was conjectured by Postnikov and Stanley for certain families of arrangements which are defined for any irreducible root system and was proved for the root system An−1. The proof is based on an explicit formula [1, 2, 11] for the characteristi...
متن کاملSome commutativity theorems for $*$-prime rings with $(sigma,tau)$-derivation
Let $R$ be a $*$-prime ring with center $Z(R)$, $d$ a non-zero $(sigma,tau)$-derivation of $R$ with associated automorphisms $sigma$ and $tau$ of $R$, such that $sigma$, $tau$ and $d$ commute with $'*'$. Suppose that $U$ is an ideal of $R$ such that $U^*=U$, and $C_{sigma,tau}={cin R~|~csigma(x)=tau(x)c~mbox{for~all}~xin R}.$ In the present paper, it is shown that if charac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 18 شماره
صفحات -
تاریخ انتشار 1998