| |

Click on image to enlarge

River Publishers Series in Automation, Control and Robotics 

Behavioural Types: from Theory to Tools

Simon Gay, University of Glasgow, UK
António Ravara, Universidade Nova de Lisboa, Portugal

Departamento de Computaci´on, Universidad de Buenos Aires, Argentina, CONICET-Universidad de Buenos Aires, Instituto de Investigaci´on en Ciencias de la Computaci´on (ICC), Buenos Aires, Argentina , Dipartimento di Informatica, Universit`a di Torino, Italy

ISBN: 9788793519824

e-ISBN: 9788793519817

doi: https://doi.org/10.13052/rp-9788793519817

Price: €0.00

Available: June 2017

Print book available at List Price

[8.57 MB] Downloads: [1640] Reads [902]    

Book Contents:

Chapter 11
An OCaml Implementation of Binary Sessions
by Hernán Melgratti and Luca Padovani
Download as a PDF [141KB]


Behavioural Types: from Theory to Tools