Separating concurrent languages with categories of language embeddings (0)

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