# calculus

121

**Join-calculus**— The join calculus is a process calculus developed at INRIA. The join calculus was developed to provide a formal basis for the design of distributed programming languages, and therefore intentionally avoids communications constructs found in other …122

**Process calculus**— In computer science, the process calculi (or process algebras) are a diverse family of related approaches to formally modelling concurrent systems. Process calculi provide a tool for the high level description of interactions, communications, and …123

**Monadic predicate calculus**— In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… …124

**Modal μ-calculus**— In theoretical computer science, the modal μ calculus (also μ calculus, but this can have a more general meaning) is an extension of propositional modal logic (with many modalities) by adding a least fixpoint operator μ and a greatest fixpoint… …125

**Malliavin calculus**— The Malliavin calculus, named after Paul Malliavin, is a theory of variational stochastic calculus. In other words it provides the mechanics to compute derivatives of random variables. The original motivation for the development of the subject… …126

**Quantum calculus**— is equivalent to traditional infinitesimal calculus without the notion of limits. It defines q calculus and h calculus . h ostensibly stands for Planck s constant while q stands for quantum. The two parameters are related by the formula :q =… …127

**Operational calculus**— Operational calculus, also known as operational analysis, is a technique by which problems in analysis, in particular differential equations, are transformed into algebraic problems, usually the problem of solving a polynomial equation. Contents… …128

**Fundamental theorem of calculus**— The fundamental theorem of calculus specifies the relationship between the two central operations of calculus, differentiation and integration.The first part of the theorem, sometimes called the first fundamental theorem of calculus, shows that… …