| |

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, IT University of Copenhagen, Rued Langgaards Vej 7, 2300 Copenhagen S, Denmark

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: [1659] Reads [921]    

Book Contents:

Chapter 5
The DCR Workbench: Declarative Choreographies for Collaborative Processes
by Søren Debois and Thomas T. Hildebrandt
Download as a PDF [2130KB]


Behavioural Types: from Theory to Tools