On the Expressive Power of KLAIM-based Calculi
 |
 |
@article{klaim-tcs356,
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 = {Bisimulation},
Note = {11th International Workshop on Expressiveness in Concurrency (EXPRESS'04)},
Number = 3,
Pages = {387--421},
Title = {On the Expressive Power of {KLAIM}-based Calculi},
Url = {http://www.sciencedirect.com/science/article/pii/S0304397506001484},
Volume = 356,
Year = 2006}
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 = {Bisimulation},
Note = {11th International Workshop on Expressiveness in Concurrency (EXPRESS'04)},
Number = 3,
Pages = {387--421},
Title = {On the Expressive Power of {KLAIM}-based Calculi},
Url = {http://www.sciencedirect.com/science/article/pii/S0304397506001484},
Volume = 356,
Year = 2006}