Embedding as a Tool for Language Comparison: On the CSP Hierarchy.

Frank S. de Boer, Catuscia Palamidessi

Browse the full CONCUR paper archive.