The aim of this paper is to obtain common fixed point theorems by employing the recently introduced notion of g -reciprocal continuity and pseudocompatible mappings in Intuitionistics fuzzy metric spaces. Results proved in this paper do not require the conditions of continuity of maps and closedness of any range.

In this paper, we further develop the coordination control scheme for discrete-event systems based on the Ramadge-Wonham framework. The notions of conditional decomposability, conditional controllability, and conditional closedness are revised and simplified, supremal conditionally controllable sublanguages of general non-prefix-closed languages are discussed, and a procedure for the computatio...

In concurrency theory, there are several examples where the interleaved model of concurrency can distinguish between execution sequences which are not signiicantly diierent. One such example is sequences that diier from each other by stuttering, i. e., the number of times a state can adjacently repeat. Another example is executions that diier only by the ordering of independently executed event...

An intention of MapReduce Sets for Cartesian product expressions analysis has to suggest criteria how Cartesian product expressions in Cartesian product data can be defined in a meaningful way and how they should be compared. Similitude based MapReduce Sets for Cartesian product Expression Analysis and MapReduce Sets for Assignment is expected to adhere to fundamental principles of the scientif...