Back to Results
First PageMeta Content
Process calculi / Theoretical computer science / -calculus / State-space representation / Mathematics / Academia / Abstraction


Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2
Add to Reading List

Document Date: 2016-08-23 03:13:56


Open Document

File Size: 452,73 KB

Share Result on Facebook
UPDATE