We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed The semantics of the logic is given with respect to sym bolic transition systems Several motivational examples are included The reader is assumed to have passing familiarity with LOTOS

In this paper the characteristics of unsteady three-dimensional incompressible flows with heat transfer are obtained along with artificial compressibility of Chorin. At first, compatibility equations and pseudo characteristics for three-dimensional flows are derived from five governing equations (continuity equation, Momentum equations in three directions, and energy equation) and then results ...

the synthesis of nanocrystalline fe3al powder by mechanical alloying as well as the structural ordering of the synthesized fe3al particles during the subsequent thermal analysis were investigated. mechanical alloying was performed up to 100 hours using a planetary ball mill apparatus with rotational speed of 300 rpm under argon atmosphere at ambient temperature. the synthesized powders were cha...

Let $X$ be a  Banach  space, $Csubset X$  be  a  closed  convex  set  included  in  a well-based cone $K$, and also let $sigma_C$ be the support function which is defined on $C$. In this note, we first study the existence of a  bounded base for the cone $K$, then using the obtained results, we find some geometric conditions for the set  $C$,  so that ${mathop{rm int}}(mathrm{dom} sigma_C) neqem...

A bstract Pure gravity in AdS 3 is a theory of boundary excitations, most simply expressed as constrained free scalar with an improved stress tensor that needed to match the Brown-Henneaux central charge. Excising finite part gives rise static gauge Nambu-Goto action for graviton. We show this $$ T\overline{T} T <mml:mov...

Huang and Zhang cite{Huang} have introduced the concept of cone metric space where the set of real numbers is replaced by an ordered Banach space. Shojaei cite{shojaei} has obtained points of coincidence and common fixed points for s-Contraction mappings which satisfy generalized contractive type conditions in a complete cone metric space.In this paper, the notion of complete cone metric ...