The verification of linearizability – a key correctness criterion for concurrent objects – is based on trace refinement whose checking is PSPACE-complete. This paper suggests to use branching bisimulation instead. Our approach is based on comparing an abstract specification in which object methods are executed atomically to a real object program. Exploiting divergence sensitivity, this also app...

Warped products provide a rich class of physically significant geometric objects. Warped product construction is an important method to produce a new metric with a base manifold and a fibre. We construct compact base manifolds with a positive scalar curvature which do not admit any non-trivial quasi-Einstein warped product, and non compact complete base manifolds which do not admit any non-triv...

Throughout this paper, R will denote a commutative ring with identity and M is a unitary R- module and Z will denote the ring of integers. We introduce the graph Ω(M) of module M with the set of vertices contain all nontrivial non-essential submodules of M. We investigate the interplay between graph-theoretic properties of Ω(M) and algebraic properties of M. Also, we assign the values of natura...

the importance of iranian ancient as architectural heritage have to competent international prestige a nd respect due this is important with regard to proper conservation met hods based on non-destructive evaluation methods and non-contact testing providing enough accuracy and speed to bri ng performance to stabilize while correct location and age value of valuable architectural aspect of quant...

Abstract Let ( X , L ) be a polarized smooth projective variety. For any basepoint-free linear system $$\mathcal {L}_{V}$$ L V with $$V\subset {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L))$$ ⊂ H</mml:mtext...