Back to Results
First PageMeta Content
Deduction / Lambda calculus / Process calculi / Π-calculus / Function / Valuation / Fixed-point combinator / Branch point / Entailment / Mathematics / Logic / Theoretical computer science


Progress as Compositional Lock-Freedom Marco Carbone 1 2
Add to Reading List

Document Date: 2014-03-24 08:33:36

Open Document

File Size: 396,03 KB

Share Result on Facebook

Company

X co / Danish Agency for Science / /

Country

Denmark / /

Currency

pence / /

/

Event

Reorganization / /

Facility

fmontesi}@itu.dk University of Glasgow / Fabrizio Montesi1 IT University of Copenhagen / /

IndustryTerm

concurrent systems / type systems / /

Organization

United Nations / University of Copenhagen / University of Glasgow / Danish Agency for Science / Technology and Innovation / /

Position

qualifier / lin qualifier / /

Technology

dom / /

SocialTag