In a previous paper Low91] we presented two new languages based upon timed CSP, with associated semantic models. The rst language was a completely deterministic language, which included biased operators that can be used to model diierent priorities on actions. The second language extended this by adding a probabilistic choice operator to the syntax; this allowed us to give a semantics that mode...

in this paper, we introduce the (g-$psi$) contraction in a metric space by using a graph.let $f,t$ be two multivalued mappings on $x.$ among other things, we obtain a common fixedpoint of the mappings $f,t$ in the metric space $x$ endowed with a graph $g.$

in the paper‎, ‎some new existence theorems of maximal elements for‎ ‎$mathscr{f}_{c,theta}$-mappings and $mathscr{f}_{c,theta}$-majorized mappings are established‎. ‎as applications, ‎some new existence theorems of equilibrium points for‎ ‎one-person games‎, ‎qualitative games and generalized games are obtained‎. ‎our results unify and generalize most known results‎ ‎in recent literature‎.

we consider the concept of fuzzy quasi-contractions initiated by '{c}iri'{c} in the setting of fuzzy metric spaces and establish fixed point theorems for quasi-contractive mappings and for fuzzy $mathcal{h}$-contractive mappings on m-complete fuzzy metric spaces in the sense of george and veeramani.the results are illustrated by a representative example.

In this paper, we introduce a broad class of nonlinear mappings in a Hilbert space which contains the classes of nonexpansive mappings, nonspreading mappings, hybrid mappings and contractive mappings. Then we prove fixed point theorems for the class of such mappings. Using these results, we prove well-known and new fixed point theorems in a Hilbert space. We finally give an open problem which i...

generalized geraghty type fuzzy mappings oncomplete metric spaces are introduced and a fixed point theorem thatgeneralizes some recent comparable results for fuzzy mappings incontemporary literature is obtained. example is provided to show thevalidity of obtained results over comparable classical results for fuzzymappings in fixed point theory. as an application, existence of coincidencefuzzy p...

a mapping $f:v^n longrightarrow w$, where $v$ is a commutative semigroup, $w$ is a linear space and $n$ is a positive integer, is called multi-additive if it is additive in each variable. in this paper we prove the hyers-ulam stability of multi-additive mappings in 2-banach spaces. the corollaries from our main results correct some outcomes from [w.-g. park, approximate additive mappings i...

in this manuscript, we prove some coupled fixed point theoremsfor two pairs of self mappings satisfying contractive conditions of integraltype in generalized metric spaces. we furnish suitable illustrative examples.in this manuscript, we prove some coupled fixed point theoremsfor two pairs of self mappings satisfying contractive conditions of integraltype in generalized metric spaces. we furnis...

in this paper, we introduce and study a mixed variational inclusion problem involving infinite family of fuzzy mappings. an iterative algorithm is constructed for solving a mixed variational inclusion problem involving infinite family of fuzzy mappings and the convergence of iterative sequences generated by the proposed algorithm is proved. some illustrative examples are also given.