Multiparty sessions are systems of concurrent processes, which allow several participants to communicate by sending and receiving messages. Their overall behaviour can be described means global types. Typable multiparty enjoy lock-freedom. We look at as open allowing one compose transforming two their into a pair coupled gateways, forwarding messages between the sessions. Gateways need compatib...

Traditionally, each party in a (dyadic or multiparty) session implements exactly one role specified in the type of the session. We refer to this kind of session as an individual session (i-session). As a generalization of i-session, a group session (g-session) is one in which each party may implement a group of roles based on one channel. In particular, each of the two parties involved in a dya...

In this paper, the concept of incidence domination number of graphs  is introduced and the incidence dominating set and  the incidence domination number  of some particular graphs such as  paths, cycles, wheels, complete graphs and stars are studied.

BACKGROUND Electroacupuncture (EA) intervention can relieve a variety of pain; however, optimal EA protocols have not been clearly determined. In addition, although central mitogen-activated protein kinase kinase (MEK) signaling has been shown to be involved in the antinociceptive effect of acupuncture stimulation, its characteristics at different time-points of EA intervention have not been fu...

the zarankiewicz number z(b; s) is the maximum size of a subgraph of kb,b which does not contain ks,s as a subgraph. the two-color bipartite ramsey number b(s, t) is the smallest integer b such that any coloring of the edges of kb,b with two colors contains a ks,s in the rst color or a kt,t in the second color.in this work, we design and exploit a computational method for bounding and computin...