@InProceedings{G:CONCUR08, author = {D. Gorla}, title = {Towards a Unified Approach to Encodability and Separation Results for Process Calculi}, editor = {F. van Breugel and M. Chechik}, booktitle = {Proc. of 19th International Conference on Concurrency Theory (CONCUR'08)}, series = {LNCS}, number = {5201}, pages = {492--507}, year = {2008}, publisher = {Springer}, }