On the greatest solution of equations in $\text{CLL}_R$
نویسندگان
چکیده
It is shown that, for any equation X =RS tX in the LLTS-oriented process calculus CLLR, if X is strongly guarded in tX , then the recursive term 〈X |X = tX〉 is the greatest solution of this equation w.r.t Lüttgen and Vogler’s ready simulation.
منابع مشابه
Greatest solutions of equations in $\text{CLL}_R$ and its application
This paper explores the process calculus CLLR furtherly. First, we prove that for any equation X =RS tX such that X is strongly guarded in tX , 〈X |X = tX〉 is the largest solution w.r.t ⊑RS . Second, we encode a fragment of action-based CTL in CLLR.
متن کاملAxiomatizing L\"{u}ttgen and Vogler's ready simulation for finite processes in $\text{CLL}_R$
In the framework of logic labelled transition system, a variant of weak ready simulation has been presented by Lüttgen and Vogler. It has been shown that such behavioural preorder is the largest precongruence w.r.t parallel and conjunction composition satisfying desired properties. This paper offers a ground-complete axiomatization for this precongruence over processes containing no recursion i...
متن کاملOn the Spaces of $lambda _{r}$-almost Convergent and $lambda _{r}$-almost Bounded Sequences
The aim of the present work is to introduce the concept of $lambda _{r}$-almost convergence of sequences. We define the spaces $fleft( lambda _{r}right) $ and $f_{0}left( lambda _{r}right) $ of $ lambda _{r}$-almost convergent and $lambda _{r}$-almost null sequences. We investigate some inclusion relations concerning those spaces with examples and we determine the $beta $- and $gamma $-duals of...
متن کاملNumerical Solution of Weakly Singular Ito-Volterra Integral Equations via Operational Matrix Method based on Euler Polynomials
Introduction Many problems which appear in different sciences such as physics, engineering, biology, applied mathematics and different branches can be modeled by using deterministic integral equations. Weakly singular integral equation is one of the principle type of integral equations which was introduced by Abel for the first time. These problems are often dependent on a noise source which a...
متن کاملRanking Effective Bases on Performance of Human Resource Planning Systems (Correlation and Fuzzy Approach)
EnThe present research studied the relationship between organizational learning elements and human resources performance. Population of the research consisted of all managers Tehran Telecommunication Company. Data were collected through questionnaires which included 24 questions with seven items. To determine the impact and ranking theprinciples of organizational learning in performance of huma...
متن کامل