Pi Calculus

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In theoretical computer science, the ¿-calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS. The aim of the ¿-calculus is to be able to describe concurrent computations whose configuration may change during the computation. The ¿-calculus belongs to the family of process calculi, mathematical formalisms for describing and analyzing properties of concurrent computation. In fact, the ¿-calculus, like the ¿-calculus, is so minimal that it does not contain primitives such as numbers, booleans, data structures, variables, functions, or even the usual flow control statements.

Pagina's: 64, Paperback, Betascript Publishers