%0 Conference Paper %1 conf/acsc/GaoE01 %A Gao, Ping %A Esser, Robert %B ACSC %D 2001 %I IEEE Computer Society %K dblp %P 156-162 %T Polymorphic CSP Type Checking. %U http://dblp.uni-trier.de/db/conf/acsc/acsc2001.html#GaoE01 %@ 0-7695-0963-0

@inproceedings{conf/acsc/GaoE01, added-at = {2023-03-23T00:00:00.000+0100}, author = {Gao, Ping and Esser, Robert}, biburl = {https://www.bibsonomy.org/bibtex/246cef03265bfa5932ed79bcf62e1f522/dblp}, booktitle = {ACSC}, crossref = {conf/acsc/2001}, ee = {https://doi.ieeecomputersociety.org/10.1109/ACSC.2001.906637}, interhash = {835d2f85cc95fe5fe92cbcbd7708e673}, intrahash = {46cef03265bfa5932ed79bcf62e1f522}, isbn = {0-7695-0963-0}, keywords = {dblp}, pages = {156-162}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T17:31:42.000+0200}, title = {Polymorphic CSP Type Checking.}, url = {http://dblp.uni-trier.de/db/conf/acsc/acsc2001.html#GaoE01}, year = 2001 }