Optimized distributed implementation of multiparty interactions with Restriction

Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis. Optimized distributed implementation of multiparty interactions with Restriction. Science of Computer Programming, 98:293-316, 2015. [doi]

Abstract

Abstract is missing.