Separating Concurrent Languages with Categories of Language Embeddings

@inproceedings{embedding-stoc91,
   address = {New York, NY, USA},
   apice = {EmbeddingStoc91},
   author = {Shapiro, Ehud},
   booktitle = {23rd Annual ACM Symposium on Theory of Computing (STOC'91)},
   doi = {10.1145/103418.103423},
   isbn = {0-89791-397-3},
   pages = {198--208},
   publisher = {ACM},
   title = {Separating Concurrent Languages with Categories of Language Embeddings},
   url = {103423},
   year = 1991
}