Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languages for quantum computing. We formulate a procedure for converting operators of standard algebraic process calculi such as CCS, ACP and CSP into reversible operators, while preserving their operational semantics.

Abstract. A linear Boltzmann equation is interpreted as the forward equation for the probability density of a Markov process (K(t), i(t), Y (t)) on (T × {1, 2} × R), where T is the twodimensional torus. Here (K(t), i(t)) is an autonomous reversible jump process, with waiting times between two jumps with finite expectation value but infinite variance. Y (t) is an additive functional of K, define...

The time-reversibility of a Markov process implies a particular structure of the score function. It is explored which martingale estimating functions and other unbiased estimating functions have a similar structure. This leads to an estimating function with a semiparametric efficiency property. Also relations to martingale estimating functions based on eigenfunctions of the infinitesimal genera...

Previously, Soeken and Thomsen presented six basic semantics-preserving rules for rewriting reversible logic circuits, defined using the well-known diagrammatic notation of Feynman. While this notation is both useful and intuitive for describing reversible circuits, its shortcomings in generality complicates the specification of more sophisticated and abstract rewriting rules. In this paper, we...

Chemical doping can be used to control the charge-carrier polarity and concentration in two-dimensional van der Waals materials. However, conventional methods based on substitutional or surface functionalization result degradation of electrical mobility due structural disorder, maximum density is set by solubility limit dopants. Here we show that a reversible laser-assisted chlorination process...

We study stability of the eigenvalues generator a one dimensional reversible diffusion process satisfying some natural conditions. The proof is based on Stein’s method. In particular, these results are applied to Normal distribution (via Ornstein–Uhlenbeck process), Gamma distributions Laguerre process) and Beta Jacobi process).