Frank S. de Boer;Catuscia Palamidessi
-;-
Separating concurrent languages with categories of language embeddings
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
DRL: A distributed real-time logic language
Computer Languages