Π-calculus - PDFSEARCH.IO - Document Search Engine

Π-calculus
Results: 127

#	Item
51	Type Systems Vasco T. Vasconcelos GLOBAN 2006 THE GLOBAL COMPUTING APPROACH TO ANALYSIS OF SYSTEMS International Summer School at DTU, August 21-25, 2006 Add to Reading List Source URL: www2.imm.dtu.dk Language: English - Date: 2006-08-08 04:44:28 Π-calculus Process calculus Mathematics Congruence Calculus Type system Actor model and process calculi Mobile Membranes Process calculi Applied mathematics Computer science
52	PDF Document Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-23 08:18:41 Differential geometry Process calculi Π-calculus Proof theory Entailment Natural deduction Curry–Howard correspondence Logic Deduction Theoretical computer science
53	Structural Recursion for Querying Ordered Graphs Soichiro Hidaka Zhenjiang Hu Kazuyuki Asada ∗ Hiroyuki Kato Add to Reading List Source URL: www.biglab.org Language: English - Date: 2013-08-08 04:22:59 Π-calculus Fold Tree Signed graph Comparability graph Graph theory Mathematics Graph
54	EXPRESS 2008 Expressiveness in Concurrency – 15th int. workshop Security Abstractions and Intruder Models (Extended Abstract) Michele Bugliesi Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-23 08:18:42 Π-calculus Lambda calculus Process calculus Bisimulation FO XTR Theoretical computer science Applied mathematics Mathematics
55	Communication and Mobility Control in Boxed Ambients ? Michele Bugliesi Dipartimento di Informatica, Universit` a Ca’ Foscari, Venezia Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:26:43 Mathematics Computer science Ambient calculus Π-calculus Bisimulation Lambda calculus Mobile Membranes Theoretical computer science Process calculi Applied mathematics
56	Secure Implementations of Typed Channel Abstractions (Extended Abstract) Michele Bugliesi Marco Giunti Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-23 08:18:42 Applied mathematics Process calculi Π-calculus Lambda calculus Valuation Function Curry–Howard correspondence Holomorphic functional calculus Mathematics Theoretical computer science Abstract algebra
57	A Bisimulation for Type Abstraction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-01-18 15:06:02 Mathematics Models of computation Denotational semantics Lambda calculus Model theory Π-calculus Bisimulation Orbifold Theoretical computer science Applied mathematics Logic in computer science
58	Under consideration for publication in Math. Struct. in Comp. Science A Type System for Discretionary Access Control M I C H E L E B U G L I E S I1 , D A R I O C O L A Z Z O2 , S I L V I A C R A F A3 , and D A M I A N O Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2010-06-10 05:02:46 Programming language theory Type system Lambda calculus Subtype polymorphism System F Π-calculus Type safety Type theory Software engineering Theoretical computer science
59	Communication Interference in Mobile Boxed Ambients? Michele Bugliesi 1 , Silvia Crafa 1 , Massimo Merro 2 , and Vladimiro Sassone 3 Abstract. Boxed Ambients (BA) replace Mobile Ambients’open capability with communicat Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:57:37 Ambient calculus Mathematics Computer science Π-calculus Lambda calculus Mobile Membranes Process calculi Theoretical computer science Applied mathematics
60	The Spider Calculus Computing in Active Graphs Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: dmwit.com Language: English - Date: 2010-08-11 18:23:14 Lambda calculus Process calculi Π-calculus Calculus Binary tree Combinatory logic Church encoding Graph FO Mathematics Theoretical computer science Applied mathematics