Session-Based Compositional Analysis for Actor-Based Languages Using Futures
['Eduard Kamburjan', 'Crystal Chang Din', 'Tzu-Chun Chen']
Session-Based Compositional Analysis for Actor-Based Languages Using Futures