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 approximate behaviors of communicating and concurrent systems, and randomness and noise in them. This article is a brief survey of these works.
منابع مشابه
The Effects of Different SDE Calculus on Dynamics of Nano-Aerosols Motion in Two Phase Flow Systems
Langevin equation for a nano-particle suspended in a laminar fluid flow was analytically studied. The Brownian motion generated from molecular bombardment was taken as a Wiener stochastic process and approximated by a Gaussian white noise. Euler-Maruyama method was used to solve the Langevin equation numerically. The accuracy of Brownian simulation was checked by performing a series of simulati...
متن کاملMalliavin Calculus for Infinite-dimensional Systems with Additive Noise
We consider an infinite-dimensional dynamical system with polynomial nonlinearity and additive noise given by a finite number of Wiener processes. By studying how randomness is spread by the system we develop a counterpart of Hörmander’s classical theory in this setting. We study the distributions of finite-dimensional projections of the solutions and give conditions that provide existence and ...
متن کاملBroadcast Abstraction in a Stochastic Calculus for Mobile Networks
We introduce a continuous time stochastic broadcast calculus for mobile and wireless networks. The mobility between nodes in a network is modeled by a stochastic mobility function which allows to change part of a network topology depending on an exponentially distributed delay and a network topology constraint. We allow continuous time stochastic behavior of processes running at network nodes, ...
متن کاملA W-band Simultaneously Matched Power and Noise Low Noise Amplifier Using CMOS 0.13µm
A complete procedure for the design of W-band low noise amplifier in MMIC technology is presented. The design is based on a simultaneously power and noise matched technique. For implementing the method, scalable bilateral transistor model parameters should be first extracted. The model is also used for transmission line utilized in the amplifier circuit. In the presented method, input/output ma...
متن کاملComputational Method for Fractional-Order Stochastic Delay Differential Equations
Dynamic systems in many branches of science and industry are often perturbed by various types of environmental noise. Analysis of this class of models are very popular among researchers. In this paper, we present a method for approximating solution of fractional-order stochastic delay differential equations driven by Brownian motion. The fractional derivatives are considered in the Caputo sense...
متن کامل