We consider four different models of process interactions that unify and generalise models introduced and studied by Angluin et al. [AAD04] and models introduced and studied by Mazurkiewicz [Maz04a,Maz04b]. We encode these models by labelled (hyper)graphs and relabelling rules on this labelled (hyper)graphs called negotiations. Then for these models, we give complete characterisations of labell...

Let $mathcal {A} $ and $mathcal {B} $ be C$^*$-algebras. Assume that $mathcal {A}$ is of real rank zero and unital with unit $I$ and $k>0$ is a real number. It is shown that if $Phi:mathcal{A} tomathcal{B}$ is an additive map preserving $|cdot|^k$ for all normal elements; that is, $Phi(|A|^k)=|Phi(A)|^k $ for all normal elements $Ainmathcal A$, $Phi(I)$ is a projection, and there exists a posit...

In this talk we will discuss some examples of graph homomorphisms. More precisely, the graph parameters which can be represented by counting the graph homomorphisms. The main reference is Section 2 in [2].

For a graph G, let     max : is an edge cut of b G D D G  . For graphs G and H, a map     :V G V H   is a graph homomorphism if for each   e uv E G   ,       u v E H    . In 1979, Erdös proved by probabilistic methods that for p ≥ 2 with

A graph homomorphism is a vertex map which carries edges from a source graph to edgesin a target graph. The instances of the Weighted Maximum H-Colourable Subgraph problem(MAX H -COL) are edge-weighted graphs G and the objective is to find a subgraph of G that hasmaximal total edge weight, under the condition that the subgraph has a homomorphism to H ;note that for H = Kk th...

We discuss the construction of a long semi-exact Mayer–Vietoris sequence for homology any finite union open subspaces. This is used to obtain topological conditions representation integral meromorphic n-form on an n-dimensional complex manifold in terms Grothendieck residues. For such exist, it necessary that cycle integration separates set polar hypersurfaces form. The separation condition num...

This paper attempts to generalize universal algebras on classical sets to $L$-sets when $L$ is a GL-quantale. Some basic notions of fuzzy universal algebra on an $L$-set are introduced, such as subalgebra, quotient algebra, homomorphism, congruence, and direct product etc. The properties of them are studied. $L$-valued power algebra is also introduced and it is shown there is an onto homomorphi...