A Tool for Choreography-Based Analysis of Message-Passing Software

First Author: Lange J
Attributed to:  Turtles: Protocol-Based Foundations for Distributed Multiagent Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Book Chapter

Book Title: Behavioural Types: from Theory to Tools (2017)

ISBN: 9788793519817