Safe and scalable parallel programming with session types
Parallel programming is a technique that can coordinate and utilise multiple hardware resources simultaneously, to improve the overall computation performance. However, reasoning about the communication interactions between the resources is difficult. Moreover, scaling an application often leads to...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
Imperial College London
2014
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.659518 |