Π-calculus - PDFSEARCH.IO - Document Search Engine

Π-calculus
Results: 127

#	Item
91	Dependency Analysis as the Basis for a Generic Type System Maxime Gamboni Instituto de Telecomunica¸co ˜es, Instituto Superior T´ Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-26 12:41:00 Π-calculus Type system Software engineering Applied mathematics Computer science Data modeling Dependency Unified Modeling Language
92	SESSIONS, FROM TYPES TO PROGRAMMING LANGUAGES Vasco T Vasco Universidade Lisboa Behavioural Types Workshop 19 April 2011 Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-05-03 04:15:49 Software engineering Type theory Theoretical computer science Data types Concurrent computing Π-calculus Programming language Actor model Communications protocol Computing Process calculi Computer science
93	City University of Hong Kong Department of Mathematics MATHEMATICS COMBINED PLACEMENT TEST FOR MA1200 & MA1201 Sample Questions & Solutions Add to Reading List Source URL: www6.cityu.edu.hk Language: English - Date: 2012-09-11 23:38:25 Trigonometry Sine Integral calculus Analytic functions Integration by parts Proof that π is irrational Mathematical analysis Mathematics Special functions
94	Typesetting Math in Texts Basic math Whenever you typeset mathematical notation, it needs to have “Math” style. For example: If a is an integer, then 2a + 1 is odd. Superscripts and subscripts are created using the c Add to Reading List Source URL: www.texts.io Language: English - Date: 2014-09-20 06:23:27 Floor and ceiling functions Mathematical notation Derivative Ordinary differential equations Proof that π is irrational Linear differential equation Mathematical analysis Mathematics Calculus
95	More Proofs of Divergence of the Harmonic Series Steven J. Kifowit Prairie State College In an earlier article, Kifowit and Stamps [13] summarized a number of elementary proofs of divergence of the harmonic series: ∞ Add to Reading List Source URL: stevekifowit.com Language: English - Date: 2014-05-17 12:20:20 Calculus Harmonic series Fibonacci number Pi Proof that π is irrational Divergence of the sum of the reciprocals of the primes Mathematical analysis Mathematics Mathematical series
96	Banach J. Math. Anal[removed]), no. 2, 9–15 Banach Journal of Mathematical Analysis ISSN: [removed]electronic) http://www.math-analysis.org Add to Reading List Source URL: www.emis.de Language: English - Date: 2009-02-16 06:06:35 Multiple integral Multivariable calculus Integral Operator theory Proof that π is irrational Μ operator Mathematical analysis Mathematics Integral calculus
97	COMPUTING SCIENCE What Can the pi-calculus Tell Us About the Mondex Purse System? Cliff B. Jones and Ken G. Pierce TECHNICAL REPORT SERIES Add to Reading List Source URL: eprint.ncl.ac.uk Language: English - Date: 2010-09-13 07:01:04 Technology Business Electronic commerce Embedded systems Theoretical computer science Π-calculus E Smart card Calculus Payment systems Process calculi Computing
98	The Harmonic Series Diverges Again and Again∗ Steven J. Kifowit Terra A. Stamps Prairie State College Add to Reading List Source URL: stevekifowit.com Language: English - Date: 2013-08-14 12:06:29 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
99	Conservative Concurrency in Haskell David Sabel and Manfred Schmidt-Schauß Computer Science Institute, Goethe-University, Frankfurt am Main, Germany Email: {sabel,schauss}@ki.informatik.uni-frankfurt.de Add to Reading List Source URL: www.ki.informatik.uni-frankfurt.de Language: English - Date: 2012-06-27 17:17:43 Applied mathematics Computing Logic in computer science Models of computation Combinatory logic Lambda calculus Monad Π-calculus Lambda Software engineering Functional programming Theoretical computer science
100	A Process Algebraic Approach to Software Architecture Design Marco Bernardo University of Urbino – Italy c August 2010 Add to Reading List Source URL: www.sti.uniurb.it Language: English - Date: 2010-08-26 13:23:53 Formal methods Computing Process calculus Π-calculus Concurrent computing Construction and Analysis of Distributed Processes Petri net Parallel computing Process calculi Concurrency Computer science

UPDATE