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

Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen

Browse the full ICFEM paper archive.