On the Expressive Power of KLAIM-based Calculi

@article{klaim-tcs356,
   apice = {KlaimTcs356},
   author = {De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario},
   doi = {10.1016/j.tcs.2006.02.007},
   issn = {0304-3975},
   journal = {Theoretical Computer Science},
   keywords = {Process calculi, Network-aware programming, Expressiveness, Language encodings, Behavioural equivalences, Bisimulation},
   month = may,
   note = {11th International Workshop on Expressiveness in Concurrency (EXPRESS'04)},
   number = 3,
   pages = {387--421},
   publisher = {IEEE Computer Society},
   title = {On the Expressive Power of {KLAIM}-based Calculi},
   url = {http://www.sciencedirect.com/science/article/pii/S0304397506001484},
   volume = 356,
   year = 2006
}