Π-calculus - PDFSEARCH.IO - Document Search Engine

Π-calculus
Results: 127

#	Item
81	Calculus 1, multiple choice Navn: Årskortnummer: 1. Hvor i π’s decimaler forekommer sekvensen? Add to Reading List Source URL: madsfoek.dk Language: Danish - Date: 2011-06-30 18:02:59
82	ZU064-05-FPR linearpi 20 December 2013 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-03-17 07:07:57 Proof theory Deduction Propositional calculus Logic in computer science Non-classical logic Natural deduction Function Π-calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
83	σ, σ1 , σ2 τ, π n, m α1 , α2 `, `1 , `2 Add to Reading List Source URL: www.averest.org Language: English - Date: 2014-03-03 19:21:58 Calculus Continuous function
84	Robin Milner LIST OF PUBLICATIONS, 2008 Books written 1. Edinburgh LCF; a Mechanized Logic of Computation, with M.J.C. Gordon and C.W. Wadsworth, LNCS781 , pages). Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-01-05 11:56:21 Process calculi Actor model Logic in computer science Robin Milner Bigraph Semantics of programming languages Computation Π-calculus Bunched logic Computer science Theoretical computer science Applied mathematics
85	An Observational Theory of Imperative Concurrent Data Structures in the π-Calculus Luca Fossati Kohei Honda Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-28 04:42:39 Concurrency control Synchronization Concurrent computing Theoretical computer science Π-calculus Non-blocking algorithm Parallel computing Concurrent data structure Calculus Process calculi Computing Concurrency
86	Spatial and Behavioural types: safety, liveness and decidability Lucia Acciai and Michele Boreale Dipartimento di Sistemi e Informatica Università degli Studi di Firenze Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-28 04:33:13 Type system Model checking Calculus Applied mathematics Computer science Mathematics Process calculi Theoretical computer science Π-calculus
87	A linear type system for pi calculus joint work with Vasco T. Vasconcelos Marco Giunti ´ INRIA & LIX, Ecole Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-28 06:07:57 Software engineering Π-calculus Type system ALGOL 68 Linear type system Calculus System F Function Type theory Programming language theory Mathematics
88	Analyzing Multiparty Interaction using Conversation Types Luís Caires, Hugo Torres Vieira Nova - New University of Lisbon Motivation Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-05-10 05:21:48 Portable Document Format Π-calculus Copyright law of the United States Copyright Computing Information Data
89	The Network as a Language Construct Tony Garnock-Jones1 , Sam Tobin-Hochstadt2 , and Matthias Felleisen1 1 Northeastern University, Boston, Massachusetts, USA 2 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Valuation Mathematics Process calculi Theoretical computer science Π-calculus
90	πp, the value of π in `p Joseph B. Keller and Ravi Vakil The two-dimensional space `p is the set of points in the plane, with the distance between two points (x, y) and (x0 , y 0 ) defined by (\|x − x0 \|p + \|y − y 0 Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2009-03-21 18:52:20 Integral calculus Length Mathematical analysis Mathematics Inequalities Ordinary differential equations Arc length Curves

UPDATE