How to Verify Your Python Conversations

First Author: Neykova R
Attributed to:  Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Book Chapter

Book Title: Behavioural Types: from Theory to Tools (2017)

ISBN: 9788793519817