@article{BentonKoutavas12hosc,
	Author = {Nick Benton and Vasileios Koutavas},
	Title = {A Mechanized Bisimulation for the Nu-Calculus},
  Year = {2012},
  Month = {sep},
  Journal = {Higher Order and Symbolic Computation - Special Issue in Honor of Mitchell Wand},
  note = {In Press.},
  urlAuthors_pdf = {nu-calc-hosc.pdf}
}

{"_id":"PBxAEMMWR8EX8NQMk","bibbaseid":"benton-koutavas-amechanizedbisimulationforthenucalculus-2012","downloads":2,"creationDate":"2018-01-12T16:19:06.594Z","title":"A Mechanized Bisimulation for the Nu-Calculus","author_short":["Benton, N.","Koutavas, V."],"year":2012,"bibtype":"article","biburl":"https://www.scss.tcd.ie/Vasileios.Koutavas/publications/Koutavas_Vasileios.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Nick"],"propositions":[],"lastnames":["Benton"],"suffixes":[]},{"firstnames":["Vasileios"],"propositions":[],"lastnames":["Koutavas"],"suffixes":[]}],"title":"A Mechanized Bisimulation for the Nu-Calculus","year":"2012","month":"sep","journal":"Higher Order and Symbolic Computation - Special Issue in Honor of Mitchell Wand","note":"In Press.","urlauthors_pdf":"nu-calc-hosc.pdf","bibtex":"@article{BentonKoutavas12hosc,\n\tAuthor = {Nick Benton and Vasileios Koutavas},\n\tTitle = {A Mechanized Bisimulation for the Nu-Calculus},\n Year = {2012},\n Month = {sep},\n Journal = {Higher Order and Symbolic Computation - Special Issue in Honor of Mitchell Wand},\n note = {In Press.},\n urlAuthors_pdf = {nu-calc-hosc.pdf}\n}\n\n","author_short":["Benton, N.","Koutavas, V."],"key":"BentonKoutavas12hosc","id":"BentonKoutavas12hosc","bibbaseid":"benton-koutavas-amechanizedbisimulationforthenucalculus-2012","role":"author","urls":{"Authors pdf":"https://www.scss.tcd.ie/Vasileios.Koutavas/publications/nu-calc-hosc.pdf"},"metadata":{"authorlinks":{"koutavas, v":"https://www.scss.tcd.ie/Vasileios.Koutavas/publications/index.html"}},"downloads":2,"html":""},"search_terms":["mechanized","bisimulation","calculus","benton","koutavas"],"keywords":[],"authorIDs":["fAE5veAPfvdM7zwoC"],"dataSources":["4g7dRdtf79M7CFSWQ"]}