Π-calculus - PDFSEARCH.IO - Document Search Engine

Π-calculus
Results: 127

#	Item
31	Model Checking for π-Calculus Using Proof Search Alwen Tiu INRIA Lorraine 615 rue du Jardin BotaniqueVillers-l`es-Nancy, France Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2006-01-18 20:52:47
32	A Distribution Law for CCS and a New Congruence Result for the π-Calculus Daniel Hirschkoﬀ and Damien Pous LIP – ENS Lyon, CNRS, INRIA, UCBL, France Abstract. We give an axiomatisation of strong bisimilarity on a s Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2012-10-03 08:42:33
33	Bounding Reactions in the π-calculus using Interpretations Romain P´echoux? INRIA project Carte, LORIA, and Universit´e de Lorraine Add to Reading List Source URL: fopara2013.cs.unibo.it Language: English - Date: 2013-08-10 15:04:08
34	Nordic Journal of Computing On the Expressive Power of Polyadic Synchronisation in π-calculus∗ Marco Carbone BRICS† Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04
35	Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science, University of Glasgow, UK Session types model structured communication-based programming. In particular, binary Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-07-25 10:12:01 Computability theory Process calculi Π-calculus Theory of computation Function Valuation Logarithm Μ operator Primitive recursive function Mathematics Theoretical computer science Functions and mappings
36	Session Types Revisited Ornela Dardha Elena Giachino Davide Sangiorgi Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2013-12-29 19:43:45 Applied mathematics Theoretical computer science Data types Polymorphism Lambda calculus Π-calculus Type system Subtype polymorphism System F Mathematics Type theory Software engineering
37	Reversible Session-Based Pi-CalculusI Francesco Tiezzia,∗, Nobuko Yoshidab a b University of Camerino, Italy Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2015-07-07 07:06:59 Models of computation Computer science Computability theory Mathematics Π-calculus Process calculus Actor model Reversible computing Lambda calculus Theoretical computer science Process calculi Applied mathematics
38	Session Typing and Asynchronous Subtyping for the Higher-Order π-Calculus Dimitris Mostrousa , Nobuko Yoshidab a Departamento de Informática, Universidade de Lisboa, Portugal Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2015-07-07 07:07:01
39	Progress as Compositional Lock-Freedom Marco Carbone 1 2 Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-03-24 08:33:36 Deduction Lambda calculus Process calculi Π-calculus Function Valuation Fixed-point combinator Branch point Entailment Mathematics Logic Theoretical computer science
40	ACI ROSSIGNOL Denis LUGIEZ www.cmi.univ-mrs.fr/ lugiez/aci-rossignol.html Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2003-12-17 02:53:50 Security Dolev-Yao model Authentication protocol Cryptography Cryptographic nonce Communications protocol Authentication Π-calculus Cryptographic protocols Data Information

UPDATE