Back to Results
First PageMeta Content
Differential geometry / Process calculi / Π-calculus / Proof theory / Entailment / Natural deduction / Curry–Howard correspondence / Logic / Deduction / Theoretical computer science


Document Date: 2009-01-23 08:18:41

Open Document

File Size: 156,00 KB

Share Result on Facebook

Company

Pi / Trw / Table 3 / /

Currency

pence / /

/

IndustryTerm

input protocol / static typing systems / protocols / mutual exclusion protocol / read/write protocols / proxy server / output protocol / /

Organization

Italian Ministry of Education / /

Person

Damiano Macedonio / Sabina Rossi Dipartimento di Informatica / Michele Bugliesi / /

Position

Private / manager for the proxy channel / channel manager / /

Technology

mutual exclusion protocol / read/write protocols / dom / two separate protocols / input protocol / proxy server / output protocol / /

SocialTag