title = {Comparing operational models of name-passing process calculi.},
author = {Marcelo P. Fiore and Sam Staton}, journal = {Inf. Comput.}, number = {4}, pages = {524-560}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc204.html#FioreS06}, volume = {204}, year = {2006}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.ic.2005.08.004}, date = {2007-02-13},
keywords = {dblp }
::