Π-calculus - PDFSEARCH.IO - Document Search Engine

Π-calculus
Results: 127

#	Item
61	A CALCULUS FOR DISTRIBUTED MOBILE COMPUTING WITH STATIC RESOURCE ACCESS AND USAGE CONTROL By Mayuresh Kulkarni A Thesis Submitted to the Graduate Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:33:50 Computing Ambient calculus Π-calculus Process calculus Actor model Calculus Lambda calculus Communicating sequential processes Combinatory logic Process calculi Computer science Applied mathematics
62	Access control for mobile agents: the calculus of Boxed Ambients MICHELE BUGLIESI Universita` ‘Ca’ Foscari’, Venezia, Italy and GIUSEPPE CASTAGNA Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:01:59 Applied mathematics Computer science Computing Formal methods Functional languages Π-calculus Lambda calculus Q Access control Process calculi Theoretical computer science Ambient calculus
63	Compositional Analysis of Authentication Protocols ? Michele Bugliesi, Riccardo Focardi, and Matteo Maffei Dipartimento di Informatica, Università Ca’ Foscari di Venezia, Via Torino 155, IMestre (Ve), Italy {mi Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:44:01 Mathematics Prime-counting function Cryptographic nonce Π-calculus Data Cyberwarfare Otway–Rees protocol Cryptographic protocols Cryptography Reflection attack
64	Boxed Ambients ? Michele Bugliesi1 , Giuseppe Castagna2 , and Silvia Crafa1,2 Dipartimento di Informatica Univ. “Ca’ Foscari”, Venezia, Italy 2 D´epartement d’Informatique Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:00:01 Applied mathematics Computer science Mathematics Π-calculus Lambda calculus Calculus XTR Mobile Membranes Process calculi Theoretical computer science Ambient calculus
65	Mobility and Security in Worldwide Computing Robin D. Toll Rensselaer Polytechnic Institute 110 8th Street Troy, NY, U.S.A. Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:32:40 Constructible universe Actor model Process calculi Symbol Π-calculus
66	Space-Aware Ambients and Processes ? Franco Barbanera Universit` a di Catania, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-08 08:30:15 Valuation Mathematics Mobile Membranes Π-calculus Process calculi Ambient calculus Calculus
67	Math. Struct. in Comp. Science 20(1), 2010 Channel Abstractions for Network Security† M I C H E L E B U G L I E S I, R I C C A R D O F O C A R D I Dipartimento di Informatica, Universit` a Ca’ Foscari, Venice. Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2010-12-01 08:49:54 Computer science Lambda calculus Mathematics Π-calculus Theoretical computer science Applied mathematics Computability theory
68	Event structure semantics for security protocols Jonathan Hayman and Glynn Winskel ? Computer Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-10-23 07:37:11 Logic in computer science Predicate logic Function Π-calculus Combinatory logic Free variables and bound variables FO Μ operator Linear temporal logic Mathematics Mathematical logic Theoretical computer science
69	A Bisimulation for Dynamic Sealing Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2004-10-25 16:21:02 Lambda calculus Computability theory Fixed-point combinator Π-calculus Valuation Combinatory logic Theoretical computer science Mathematics Applied mathematics
70	Microsoft WordExtension 1 Solution.docx Add to Reading List Source URL: www.hsccoaching.com Language: English - Date: 2012-07-10 22:25:09 Integral calculus Analytic functions Trigonometry Trigonometric functions Natural logarithm Exponentials Integration by parts Proof that π is irrational Mathematical analysis Mathematics Calculus

UPDATE