TYPE-CHECKING LIVENESS FOR COLLABORATIVE PROCESSES WITH BOUNDED AND UNBOUNDED RECURSION (2016)
Attributed to:
Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Journal Article/Review
Volume: 12
Parent Publication: LOGICAL METHODS IN COMPUTER SCIENCE
Issue: 1
ISSN: 1860-5974