Let C and A be two unital separable amenable simple C-algebras with tracial rank no more than one. Suppose that C satisfies the Universal Coefficient Theorem and suppose that φ1, φ2 : C → A are two unital monomorphisms. We show that there is a continuous path of unitaries {ut : t ∈ [0,∞)} of A such that lim t→∞ u∗tφ1(c)ut = φ2(c) for all c ∈ C if and only if [φ1] = [φ2] in KK(C,A), φ ‡ 1 = φ 2 ...

A universal process of a process calculus is one that, given the Gödel index of a process of a certain type, produces a process equivalent to the encoded process. This paper demonstrates how universal processes can be formally defined and how a universal process of the value-passing calculus can be constructed. The existence of such a universal process in a process model can be explored to impl...

In this study, we examine multiple algebras and algebraic structures derived from them and by stating a theory on multiple algebras; we will show that the theory of multiple algebras is a natural extension of the theory of universal algebras. Also, we will treat equivalence relations on multiple algebras, for which the quotient constructed modulo them is a universal algebra and will study the b...

In this note, we consider an optimal control problem associated to a differential equation driven by a Hölder continuous function g of index β > 1/2. We split our study in two cases. If the coefficient of dgt does not depend on the control process, we prove an existence theorem for a slightly generalized control problem, that is we obtain a literal extension of the corresponding deterministic s...

We consider the one dimensional nearest neighbors asymmetric simple exclusion process with rates q and p for left and right jumps respectively; q < p. Ferrari et al. (1991) have shown that if the initial measure is vp, 4, a product measure with densities p and 2 to the left and right of the origin respectively, p < 2, then there exists a (microscopic) shock for the system. A shock is a random p...