This paper presents indispensable technical results of a general theory that will allow to systematically derive from a given reduction system a behavioral congruence that respects concurrency. The theory is developed in the setting of adhesive categories and is based on the work by Ehrig and König on borrowed contexts; the latter are an instance of relative pushouts, which have been proposed b...

Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the DPO (double-pushout) approach to graph rewriting. Unlike in previous approaches, we consider graphs as objects, instead of arrows, of the category under consideration. This allows us to present a very simple way of deriving labe...

Based on the theory o f photoluminescence polarization, a description o f the determination o f transition-moment directions in luminescent molecules oriented in a stretched polymer film is given. This method is applied to the linear trans-diphenylpolyenes (C2h symmetry): 1,8-diphenyloctatetraene (DPO ), 1,6-diphenylhexatriene (DPH) and 1,4-diphenylbutadiene (DPB). The same transition moment po...

Sesqui-pushout (sqpo) rewriting—“sesqui” means “one and a half” in Latin—is a new algebraic approach to abstract rewriting in any category. sqpo rewriting is a deterministic and conservative extension of double-pushout (dpo) rewriting, which allows to model “deletion in unknown context”, a typical feature of single-pushout (spo) rewriting, as well as cloning. After illustrating the expressivene...

Sesqui-pushout (sqpo) rewriting—“sesqui” means “one and a half” in Latin—is a new algebraic approach to abstract rewriting in any category. sqpo rewriting is a deterministic and conservative extension of double-pushout (dpo) rewriting, which allows to model “deletion in unknown context”, a typical feature of single-pushout (spo) rewriting, as well as cloning. After illustrating the expressivene...

The classical DPO graph rewriting construction is re-expressed using the oppbration approach introduced originally for term graph rewriting. Using a skeleton category of graphs, a base of canonical graphs-in-context, with DPO rules as arrows, and with categories of redexes over each object in the base, yields a category of rewrites via the discrete Grothendieck construction. The various possibl...

Spectroscopy of the monoclinic and orthorhombic crystalline forms all-trans-diphenylhexatriene (DPH) all-trans-diphenyloctatetraene (DPO) show absorption emission bands that do not generate widely known Stokes shift polyene compounds, discovered by Hausser et al. in 1953 repeatedly studied over last 60 years. It can be concluded from our study crystallization system, whether a or does significa...

The anti-contractile effect of perivascular adipose tissue (PVAT) is an important mechanism in the modulation of vascular tone in peripheral arteries. Recent evidence has implicated the XE991-sensitive voltage-gated KV (KCNQ) channels in the regulation of arterial tone by PVAT. However, until now the in vivo pharmacology of the involved vascular KV channels with regard to XE991 remains undeterm...