A semantically sound actor translation (1997)

by Ian A Mason, Carolyn L Talcott
Venue:In Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP ’97