%0 Conference Paper %1 conf/icalp/BaldamusPV05 %A Baldamus, Michael %A Parrow, Joachim %A Victor, Björn %B ICALP %D 2005 %E Caires, Luís %E Italiano, Giuseppe F. %E Monteiro, Luís %E Palamidessi, Catuscia %E Yung, Moti %I Springer %K dblp %P 1202-1213 %T A Fully Abstract Encoding of the pi-Calculus with Data Terms. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2005.html#BaldamusPV05 %V 3580 %@ 3-540-27580-0

@inproceedings{conf/icalp/BaldamusPV05, added-at = {2017-05-23T00:00:00.000+0200}, author = {Baldamus, Michael and Parrow, Joachim and Victor, Björn}, biburl = {https://www.bibsonomy.org/bibtex/205d3ee5e15deb1934b3c2a1f90bdebf5/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/2005}, editor = {Caires, Luís and Italiano, Giuseppe F. and Monteiro, Luís and Palamidessi, Catuscia and Yung, Moti}, ee = {https://doi.org/10.1007/11523468_97}, interhash = {6039e37702ac909dfd455bc7b8377347}, intrahash = {05d3ee5e15deb1934b3c2a1f90bdebf5}, isbn = {3-540-27580-0}, keywords = {dblp}, pages = {1202-1213}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:27:21.000+0200}, title = {A Fully Abstract Encoding of the pi-Calculus with Data Terms.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2005.html#BaldamusPV05}, volume = 3580, year = 2005 }