Certifying Data in Multiparty Session Types (2016)
Attributed to:
Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract