Session-Based Compositional Analysis for Actor-Based Languages Using Futures

Published in ICFEM, 2016

Recommended citation: Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen. (2016). ICFEM. LNCS 10009