%0 Conference Paper %1 conf/procomet/HonsellLMP98 %A Honsell, Furio %A Lenisa, Marina %A Montanari, Ugo %A Pistore, Marco %B PROCOMET %D 1998 %E Gries, David %E de Roever, Willem P. %I Chapman & Hall %K dblp %P 225-243 %T Final semantics for the pi-calculus. %U http://dblp.uni-trier.de/db/conf/procomet/procomet1998.html#HonsellLMP98 %V 125 %@ 0-412-83760-9

@inproceedings{conf/procomet/HonsellLMP98, added-at = {2002-11-21T00:00:00.000+0100}, author = {Honsell, Furio and Lenisa, Marina and Montanari, Ugo and Pistore, Marco}, biburl = {https://www.bibsonomy.org/bibtex/2bce83e0949a5a3cd9c1de5dd90f9f734/dblp}, booktitle = {PROCOMET}, crossref = {conf/procomet/1998}, date = {2002-11-21}, description = {dblp}, editor = {Gries, David and de Roever, Willem P.}, interhash = {de4300f2724bf544c3c49b68ca1c0022}, intrahash = {bce83e0949a5a3cd9c1de5dd90f9f734}, isbn = {0-412-83760-9}, keywords = {dblp}, pages = {225-243}, publisher = {Chapman & Hall}, series = {IFIP Conference Proceedings}, timestamp = {2002-11-21T00:00:00.000+0100}, title = {Final semantics for the pi-calculus.}, url = {http://dblp.uni-trier.de/db/conf/procomet/procomet1998.html#HonsellLMP98}, volume = 125, year = 1998 }