Π-calculus - PDFSEARCH.IO - Document Search Engine

Π-calculus
Results: 127

#	Item
121	Dimensional Analysis 1 Add to Reading List Source URL: www.aerostudents.com Language: English - Date: 2007-09-10 18:13:50 Measurement Buckingham π theorem Dimensionless quantity Multivariable calculus Partial differential equations Nondimensionalization Calculus Mathematical analysis Dimensional analysis
122	Propositions as Sessions Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-08-31 07:10:39 Theoretical computer science Proof theory Predicate logic Computability theory Models of computation Π-calculus Function Natural deduction Generalization Mathematics Mathematical logic Logic
123	PDF Document Add to Reading List Source URL: scipp.ucsc.edu Language: English - Date: 2009-12-20 06:37:33 Mathematical series Harmonic series Integral test for convergence Mathematical proof Series Mathematical fallacy Divergence of the sum of the reciprocals of the primes Proof that π is irrational Mathematics Mathematical analysis Calculus
124	PDF Document Add to Reading List Source URL: people.apache.org - Date: 2006-12-04 08:08:41 Mathematical logic Actuarial science Econometrics Regression analysis Algorithm Π-calculus Calculus Formal methods Mathematical sciences Theoretical computer science Applied mathematics Mathematics
125	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2001-07-27 07:39:36 Process calculi Theoretical computer science Inter-process communication Functional languages Actor model Π-calculus Join-calculus Lambda calculus Process calculus Computing Software engineering Computer programming
126	PDF Document Add to Reading List Source URL: www.math.nyu.edu Language: English - Date: 2006-04-21 19:04:05 Operator theory Pi Proof that π is irrational Fourier series Mathematics Mathematical analysis Calculus
127	PDF Document Add to Reading List Source URL: formal.cs.uiuc.edu Language: English - Date: 2003-11-10 12:46:30 Concurrency Actor model Theoretical computer science Concurrent computing Inter-process communication Π-calculus Process calculus Lambda calculus Futures and promises Mathematics Computing Process calculi

UPDATE