Π-calculus - PDFSEARCH.IO - Document Search Engine

Π-calculus
Results: 127

#	Item
111	Exploring Variation in Biochemical Pathways with the Continuous pi-Calculus Ian Stark Marek Kwiatkowski Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-06-14 12:27:08 Process calculus Π-calculus Fourier analysis
112	Events in Security Protocols Federico Crazzolara ∗ Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-01-15 10:14:41 Functions and mappings Applied mathematics Concurrency Diagrams Petri net Computer science Function Π-calculus Mathematics Models of computation Process calculi
113	Domain Theory for Concurrency Mikkel Nygaard BRICS∗ University of Aarhus Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-09-25 08:15:38 Models of computation Logic in computer science Binary operations Denotational semantics Π-calculus If and only if Mathematics Theoretical computer science Applied mathematics
114	Higher-Order Processes, Functions, and Sessions: A Monadic Integration Bernardo Toninho1,2 , Luis Caires2 , and Frank Pfenning1 1 2 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-02-20 17:13:21 Type theory Logic in computer science Proof theory Functions and mappings Deduction Curry–Howard correspondence Monad Function Π-calculus Logic Mathematics Mathematical logic
115	Linear Logical Relations and Observational Equivalences for Session-Based Concurrency Jorge A. P´ereza , Lu´ıs Cairesa , Frank Pfenningb , Bernardo Toninhoa,b a CITI and Departamento de Inform´atica, FCT Universidad Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-10-12 12:11:49 Type theory Theoretical computer science Proof theory Logic in computer science Deduction Curry–Howard correspondence Lambda calculus Entailment Π-calculus Logic Mathematics Mathematical logic
116	Modeling Erlang in the π–Calculus Thomas Noll1 Chanchal Kumar Roy2 1 Lehrstuhl Add to Reading List Source URL: www.erlang.se Language: English - Date: 2005-10-27 03:59:44 Ericsson Erlang ManaGeR Software engineering System software Teletraffic Computing
117	Automated Verification of Selected Equivalences for Security Protocols Bruno Blanchet ´ cole Normale Sup´ CNRS, E erieure, Paris Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:57 Boolean algebra Propositional calculus Mathematics Theoretical computer science Model theory Π-calculus Universal quantification Process calculus Interpretation Logic Mathematical logic Semantics
118	SMT[removed]Calculus Test February 2, 2013 Add to Reading List Source URL: sumo.stanford.edu Language: English - Date: 2014-05-28 23:53:37 Trigonometry Differential calculus Integral calculus Derivative Sine Differential equation Proof that π is irrational Euler–Maclaurin formula Mathematical analysis Mathematics Calculus
119	A Theoretical Basis of Communication-Centred Concurrent Programming Add to Reading List Source URL: www.w3.org Language: English - Date: 2006-10-23 12:21:19 Computing Computer science Process calculus Lambda calculus Π-calculus Calculus WS-CDL Actor model and process calculi history Process calculi Theoretical computer science Applied mathematics

UPDATE