Embedding as a tool for language comparison: On the CSP hierarchy (1991)

by F S de Boer, C Palamidessi
Venue:Proc. of CONCUR 91, volume 527 of Lecture Notes in Computer Science