language, science and politics go together and learning these genres is to learn a language created for codifying, extending and transmitting scientific and political knowledge. grammatical metaphor is divided into two broad areas: ideational and interpersonal.this paper focuses on the first type i.e. ideational grammatical metaphor (igm), which includes process types and nominalization.  the m...

META✶ is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the π-calculus, the system of Mobile Ambients, and many of their variants. POLY✶ is a generic type system that makes a sound type system with principal types and a type inference algorithm for any instantiation of META✶. POLY✶ provi...

Static checking of process types ensures that each object accepts all messages received from concurrent clients, although the set of acceptable messages can depend on the object's state. However, conventional approaches of using dynamic type information (e.g., checked type casts) are not applicable in the current process type model, and the typing of self-references is too restrictive. In this ...

A new kind of ambient calculus is presented, where the open capability is replaced by direct mobility of generic processes. The calculus comes equipped with a labelled transition system in which types play a major role: this system allows us to show interesting algebraic laws. Types express, as usual, the communication, access and mobility properties of the modelled system; inferred types expre...

Software testing is the most critical phase of the Software Development Life Cycle. Software under test goes through various phases, which as per the study are test analysis; test planning, test case/data/environment preparation, test execution, bug logging and tracking and closure. There is lot of research which has been done in past to optimize overall testing process with intent of improving...

Classical approaches like process algebras or labelled transition systems deal with static composition to model non-trivial concurrent or distributed systems; this is not sufficient for systems with dynamic architecture and with variable number of components. We introduce a method to guide the modelling and the dynamic composition of processes to build large distributed systems with dynamic adh...