@misc{indiciae5cc35c08de16, title = {On the chemistry of typestate-oriented actors}, author = {Silvia Crafa and Luca Padovani}, year = {2016}, url = {https://arxiv.org/abs/1607.02927}, note = {Source identifier: 1607.02927} }