@inproceedings{DBLP:journals/entcs/FioreS04,
  title = "Comparing Operational Models of Name-Passing Process Calculi",
  author = "Marcelo P. Fiore and Sam Staton",
  year = "2004",
  booktitle = "Proceedings of the Workshop on Coalgebraic Methods in Computer Science, {CMCS} 2004, Barcelona, Spain, March 27-29, 2004",
  editor = "Jir{\'{\i}} Ad{\'{a}}mek and Stefan Milius",
  pages = "91--104",
  publisher = "Elsevier",
  series = "Electronic Notes in Theoretical Computer Science",
  url = "https://doi.org/10.1016/j.entcs.2004.02.025",
  volume = "106",
  doi = "10.1016/j.entcs.2004.02.025",
}