| |

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

Department of Computer Science, Faculty of ICT, University of Malta, Malta, School of Computer Science, Reykjavík University, Iceland

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 3
A Runtime Monitoring Tool for Actor-Based Systems
by Duncan Paul Attard, Ian Cassar, Adrian Francalanza, Luca Aceto and Anna Ingólfsdóttir
Download as a PDF [194KB]


Behavioural Types: from Theory to Tools