This paper presents two basic results on game-based semantics of FPC, a metalanguage with sums, products, exponentials and recursive types. First we give an axiomatic account of the category of games G introduced in [15], offering a fundamental structural analysis of the category as well as a transparent way to prove computational adequacy. As a consequence we obtain an intensional fullabstract...

The disadvantages of developed biological nutrient removal (BNR) processes (additional energy for liquid circulation and addition of external carbon substrate for denitrification in anoxic zones) were improved by reconfiguring the process into (1) an anaerobic zone followed by multiple stages of aerobic-anoxic zones (TNCU3 process) or (2) anaerobic, oxic, anoxic, oxic zones in sequence (TNCU2 p...

We shall develop a simple and natural formalization of the idea of clientserver architectures, and, based on this, define a notion of orthogonality between clients and servers, which embodies strong correctness properties, and exposes the rich logical structure inherent in such systems. Then we generalize from pure clients and servers to components, which provide some services to the environmen...

−− One of the major tasks addressed by the chemical industry is the design and revamping of production processes. Increasingly powerful computer-aided tools are available to face these complex tasks. Nevertheless, most design knowledge still rests in the minds of experienced designers. It is desirable to make it part of a computer support environment. Therefore, it is necessary to have a model ...

Tagged Types encode some families of types indexed by labels. Like Wand’s row types, they make use of specific variables from which new fields can be extracted, and like Rémy’s record types, the types introduced in these fields can be parameterized. However, the logical and technical treatment of tagged types is original; it is claimed that they combine the intuitiveness of row types with most ...

A new kind of ambient calculi is presented, where the open capability is replaced by direct mobility of naked processes, while the associated type systems are algorithmic in the sense that they directly provide type inference procedures. 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...

The development lifecycle of software Comprises of four major stages namely Requirement Elicitation, Designing, Coding and Testing. A software process model is the basic framework which gives a workflow from one stage to the next. This workflow is a guideline for successful planning, organization and final execution of the software project. Generally we have many different techniques and method...