%0 Conference Paper %1 conf/sose/Zhang0GLJ05 %A Zhang, Jing %A Jin, Ying %A Guo, Degui %A Liu, Lei %A Jin, Chengzhi %B SOSE %D 2005 %I IEEE Computer Society %K dblp %P 243-250 %T Operational semantics of ambient calculus. %U http://dblp.uni-trier.de/db/conf/sose/sose2005.html#Zhang0GLJ05 %@ 0-7695-2438-9

@inproceedings{conf/sose/Zhang0GLJ05, added-at = {2015-06-29T00:00:00.000+0200}, author = {Zhang, Jing and Jin, Ying and Guo, Degui and Liu, Lei and Jin, Chengzhi}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bc610ffc29bddef09b943c4c7e6f9b7e/dblp}, booktitle = {SOSE}, crossref = {conf/sose/2005}, ee = {http://doi.ieeecomputersociety.org/10.1109/SOSE.2005.27}, interhash = {a6e863abb5e9eca266914d386db14578}, intrahash = {bc610ffc29bddef09b943c4c7e6f9b7e}, isbn = {0-7695-2438-9}, keywords = {dblp}, pages = {243-250}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T12:15:45.000+0100}, title = {Operational semantics of ambient calculus.}, url = {http://dblp.uni-trier.de/db/conf/sose/sose2005.html#Zhang0GLJ05}, year = 2005 }