Separating concurrent languages with categories of language embeddings (1991)

by Ehud Shapiro
Venue:In Proceedings of the Twenty-Third Annual ACM Symposium on Theory of Computing