Deductive Verification of MPI Protocols

First Author: Vasconcelos V
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