Topology, randomness and noise in process calculus
نویسندگان
چکیده
منابع مشابه
Topology, Randomness and Noise in Process Calculus∗
Formal models of communicating and concurrent systems are one of the most important topics in formal methods, and process calculus is one of the most successful formal models of communicating and concurrent systems. In the previous works, the author systematically studied topology in process calculus, probabilistic process calculus and pi-calculus with noisy channels in order to describe approx...
متن کاملWhite Noise Calculus and Hamiltonian of a Quantum Stochastic Process
Abstract. A white noise quantum stochastic calculus is developped using classical measure theory as mathematical tool. Wick’s and Ito’s theorems have been established. The simplest quantum stochastic differential equation has been solved, unicity and the conditions for unitarity have been proven. The Hamiltonian of the associated one parameter strongly continuous group has been calculated expli...
متن کاملRandomness and Noise in Information Systems
This dissertation is devoted to the study of randomness and noise in a number of information systems including computation systems, storage systems, and natural paradigms like molecular systems, where randomness plays important and distinct roles. Motivated by applications in engineering and science we address a number of theoretical research questions. • In a computation system, randomness ena...
متن کاملItô calculus and quantum white noise calculus
Itô calculus has been generalized in white noise analysis and in quantum stochastic calculus. Quantum white noise calculus is a third generalization, unifying the two above mentioned ones and bringing some unexpected insight into some old problems studied in different fields, such as the renormalization problem in physics and the representation theory of Lie algebras. The present paper is an at...
متن کاملAlgebra and Topology in Lambda Calculus
The untyped lambda calculus was introduced around 1930 by Church [11] as part of an investigation in the formal foundations of mathematics and logic. Although lambda calculus is a very basic language, it is sufficient to express all the computable functions. The process of application and evaluation reflects the computational behavior of many modern functional programming languages, which expla...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Frontiers of Electrical and Electronic Engineering in China
سال: 2007
ISSN: 1673-3460,1673-3584
DOI: 10.1007/s11460-007-0024-9