Stateful Behavioral Types for Active Objects

Published in ifm, 2018

Recommended citation: Eduard Kamburjan, Tzu-Chun Chen. (2018). iFM. LNCS 11023