In the setting of the π-calculus with binary sessions, we aim at relaxing the notion of duality of session types by the concept of retractable compliance developed in contract theory. This leads to extending session types with a new type operator of “speculative selection” including choices not necessarily offered by a compliant partner. We address the problem of selecting successful communicat...

let $r$ be a commutative noetherian ring with non-zero identity, $fa$ an ideal of $r$, and $x$ an $r$--module. here, for fixed integers $s, t$ and a finite $fa$--torsion $r$--module $n$, we first study the membership of $ext^{s+t}_{r}(n, x)$ and $ext^{s}_{r}(n, h^{t}_{fa}(x))$ in the serre subcategories of the category of $r$--modules. then, we present some conditions which ensure the exi...

we introduce the notions of t-dual rickart and strongly t-dual rickart modules. we provide several characterizations and investigate properties of each of these concepts. it is shown that every free (resp. finitely generated free) $r$-module is t-dual rickart if and only if $overline{z}^2(r)$ is a  direct summand of $r$ and end$(overline{z}^2(r))$ is a semisimple (resp. regular) ring. it is sho...

The Vertex Locator of the LHCb experiment is a dedicated subdetector for the reconstruction of primary and secondary vertices in b-hadron decays. The vertex detector features two halves with 21 modules each, mounted on retractable bases. Each module consists of two half-disk silicon micro-strip sensors measuring hits in R and Φ coordinates. The strip pitch ranges from 40 to about 100 μm. A vacu...

let r be a ring,  be an endomorphism of r and mr be a -rigid module. amodule mr is called quasi-baer if the right annihilator of a principal submodule of r isgenerated by an idempotent. it is shown that an r-module mr is a quasi-baer module if andonly if m[[x]] is a quasi-baer module over the skew power series ring r[[x; ]].