Pro ess Algebra with Five - Valued

From Pro ess Algebra to Visual Language

Implementing a Real - Time Pro ess Algebra

Decomposition of H*-Algebra Valued Negative Definite Functions on Topological *-Semigroups

In the present paper, among other results, a decomposition formula is given for the w-bounded continuous negative definite functions of a topological *-semigroup S with a weight function w into a proper H*-algebra A in terms of w-bounded continuous positive definite A-valued functions on S. A generalization of a well-known result of K. Harzallah is obtained. An earlier conjecture of the author ...

Process Algebra with Five-Valued Conditions

We propose a five-valued logic that can be motivated from an algorithmic point of view and from a logical perspective. This logic is combined with process algebra. For process algebra with five-valued logic we present an operational semantics in SOS-style and a completeness result. Finally, we discuss some generalizations.

Adaptive dynamics with vector-valued strategies

Question: We examine strategy dynamics for evolutionary games with vector-valued strategies. Mathematical methods: We use the fitness-generating function (G-function) to derive ESS maximum principle and strategy dynamics along multi-dimensional adaptive landscapes. We apply the dynamics to two models of co-evolution of competitors and one model of predator–prey co-evolution. Results: When sever...