Separating concurrent languages with categories of language embeddings (1991)

by Ehud Shapiro
Venue:In Proceedings of the 23 rd Annual ACM Symposium on Theory of Computing