Stateful Behavioral Types for Active Objects.

Eduard Kamburjan, Tzu-Chun Chen

Browse the full IFM paper archive.