| |

Click on image to enlarge

River Publishers Series in Automation, Control and Robotics 

Behavioural Types: from Theory to Tools

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

Authors:
LaSIGE, Faculty of Sciences, University of Lisbon, PT , CRACS/INESC-TEC, Faculty of Sciences, University of Porto, PT , Imperial College London, UK

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: [1643] Reads [905]    

Book Contents:

Chapter 16
Deductive Verification of MPI Protocols
by Vasco T. Vasconcelos, Francisco Martins, Eduardo R. B. Marques, Nobuko Yoshida and Nicholas Ng
Download as a PDF [808KB]

 

Behavioural Types: from Theory to Tools