In this paper we present a probabilistic-timed process algebra, which try to unify the best solutions of previous probabilistic and timed algebras. We provide an operational semantics for the new language (PTPA), and from this operational semantics we define a testing semantics based on the probability with which processes pass tests. Afterwards the induced testing equivalence is operationally ...

background: leachatecontaining high levels of organic pollution with ammonia, halogenatedhydrocarbons, heavy metals and inorganic salts. among the various methods fortreating leachate, has been developed membrane processes so that a morebiological process of membrane processes is used for separation of solid -liquid. the aimof this study was to evaluate the efficiency of membrane bioreactor eff...

With the rapid development of sensor technology, various professional sensors are installed on modern machinery to monitor operational processes and assure operational safety, which play an important role in industry and society. In this work a new operational safety assessment approach with wavelet Rényi entropy utilizing sensor-dependent vibration signals is proposed. On the basis of a profes...

This thesis is part of the programme aimed at finding a mathematical theory of well-behaved structural operational semantics. General and basic results shown in 1997 in a seminal paper by Turi and Plotkin are extended in two directions, aiming at greater expressivity of the framework. The so-called bialgebraic framework of Turi and Plotkin is an abstract generalization of the well-known structu...

having reviewed the history of the islamic banking development in the united kingdom, this paper tries to evaluate the processes, rules and operational techniques used to regulate and supervise islamic banks and financial institutions in this non-islamic country. in addition, it tries to go over the iranian islamic banking system and compare it with that of england. the results of the paper sho...

We address the problem of handling names in concurrent and distributed systems made up of mobile processes. We equip processes with local environments. Our structural operational semantics handles these environments so that captures of names are never possible. Our semantics includes the speciication of a distributed name manager that conservatively extends standard operational semantics. Bisim...

We address the problem of handling names in distributed systems made of mobile processes. We equip processes with local environments. Our SOS operational semantics handles these environments so that captures of names are never possible. Essentially, our semantics includes the speciication of a distributed name manager that conservatively extends standard operational semantics. Also it simpliies...

This paper studies a simple calculus for finite-state processes featuring both nondeterministic and probabilistic choice. We present a domain model and an operational semantics for our calculus. The denotational model uses the probabilistic powerdomain of Jones and Plotkin, combined with a geometrically convex variant of the Plotkin powerdomain. The operational model defines transition rules un...

The empirical investigation of unobservable psychological processes usually rests on operational definitions. As an alternative, we propose the use of explicit causal models. This is particularly useful in psychophysiology, where formal models can be expressed mathematically, exploiting biophysical constraints, and inverted to yield estimates of unobservable processes. In psychophysiology, rece...

The present paper deals less with Grid computing than with other aspects of this conference, namely numerical software. The goal of our work is to use mathematical modeling and computer simulation to avoid building nonproduction prototypes in manufacturing processes. Of particular interest is to eliminate prototypes associated with painting processes used in the automotive industry. Since paint...