Pi Calculus
Versandkostenfrei!
Versandfertig in 6-10 Tagen
19,99 €
inkl. MwSt.
PAYBACK Punkte
10 °P sammeln!
High Quality Content by WIKIPEDIA articles! 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 pr...
High Quality Content by WIKIPEDIA articles! 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.
Andere Kunden interessierten sich für
