@article{G:IC10, author = {D. Gorla}, title = {Towards a Unified Approach to Encodability and Separation Results for Process Calculi}, journal = {Information and Computation}, volume = {}, number = {}, pages = {}, year = {2010}, publisher = {Elsevier}, }