Embedding as a Tool for Language Comparison: On the CSP Hierarchy (1991)

by F S de Boer, C Palamidessi
Venue:In Proc. of CONCUR’91