We use cookies to provide essential features and services. By using our website you agree to our use of cookies .


Warehouse Stock Clearance Sale

Grab a bargain today!

Behavioural Types


Product Description
Product Details

Table of Contents

Preface; 1. Contract-oriented design of distributed applications: a tutorial; 2. Contract-oriented programming with timed session types; 3. A runtime monitoring tool for actor-based systems; 4. How to Verify Your Python Conversations; 5. The DCR Workbench: Declarative Choreographies for Collaborative Processes; 6. A tool for choreography-based analysis of message-passing software; 7. Programming adaptive microservice systems; an AIOCJ tutorial; 8. JaDA - the Java Deadlock Analyzer; 9. Type-Based Analysis of Linear Communications; 10. Session types with linearity in Haskell; 11. An OCaml Implementation of Binary Sessions; 12. Lightweight functional session types; 13. Distributed programming using Java APIs generated from Session Types; 14. Mungo and StMungo: Tools for Typechecking Protocols in Java; 15. Protocol-driven MPI program generation; 16. Protocol Verification of MPI Programs

About the Author

Simon Gay, Antonio Ravara

Ask a Question About this Product More...
Look for similar items by category
Item ships from and is sold by Fishpond World Ltd.
Back to top