Π-calculus - PDFSEARCH.IO - Document Search Engine

Π-calculus
Results: 127

#	Item
41	Typed Normal Form Bisimulation Soren B. Lassen1 and Paul Blain Levy2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-12-20 12:37:08 Logic in computer science Lambda calculus Process calculi Π-calculus Bisimulation Combinatory logic Fixed-point combinator Sheaf Theoretical computer science Applied mathematics Mathematics
42	BRICS Basic Research in Computer Science BRICS DS-99-1 G. L. Cattani: Presheaf Models for Concurrency Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-10 12:36:02 Logic in computer science Process calculi Sheaf theory Π-calculus Programming language semantics Bisimulation Presheaf Coinduction Process calculus Mathematics Theoretical computer science Applied mathematics
43	BRICS Basic Research in Computer Science BRICS RS-01-8 Frendrup & Jensen: Checking for Open Bisimilarity in the π-Calculus Add to Reading List Source URL: www.brics.dk - Date: 2001-03-02 07:43:16
44	BRICS RSM. D. Pedersen: Logics for The Applied π Calculus BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2006-12-19 15:22:12
45	BRICS Basic Research in Computer Science BRICS RSJ. Abendroth: Applying π-Calculus to Practice: An Example of a Unified Security Mechanism Applying π -Calculus to Practice: Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-12 09:05:06
46	BRICS Basic Research in Computer Science BRICS RSCattani et al.: Presheaf Models for the π-Calculus Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-12-19 09:06:38
47	Proof Search Specifications of Bisimulation and Modal Logics for the π-calculus Alwen Tiu Logic and Computation Group College of Engineering and Computer Science The Australian National University Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-02-16 11:47:52
48	¨ BRICS RSHuttel & Srba: Recursion vs. Replication in Simple Cryptographic Protocols BRICS Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-12-08 05:15:15 Theoretical computer science Process calculi Π-calculus Communications protocol Ping Computing System software Data
49	Conversation Types Lu´ıs Caires and Hugo Torres Vieira CITI, Departamento de Inform´ atica, Faculdade de Ciˆencias e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2012-09-27 14:27:12 Models of computation Computer science Computability theory Lambda calculus Π-calculus Theoretical computer science Mathematics Applied mathematics
50	GT-VC 2005 Preliminary Version Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names 1 Mikkel Bundgaard 2 Thomas Hildebrandt 3 Department of Theoretical Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2009-02-19 09:48:16 Computer science Logic Predicate logic Process calculi Π-calculus Lambda calculus Explicit substitution Free variables and bound variables Symbol Theoretical computer science Mathematics Applied mathematics

UPDATE