%0 Conference Paper %1 conf/ccece/CarterG06 %A Carter, John D. %A Gardner, William B. %B CCECE %D 2006 %I IEEE %K dblp %P 1466-1470 %T A Formal CSP Framework for Message-Passing HPC Programming. %U http://dblp.uni-trier.de/db/conf/ccece/ccece2006.html#CarterG06 %@ 1-4244-0038-4

@inproceedings{conf/ccece/CarterG06, added-at = {2010-01-19T00:00:00.000+0100}, author = {Carter, John D. and Gardner, William B.}, biburl = {https://www.bibsonomy.org/bibtex/2d54ebc35e74cdd0b013c739206be043f/dblp}, booktitle = {CCECE}, crossref = {conf/ccece/2006}, ee = {http://dx.doi.org/10.1109/CCECE.2006.277495}, interhash = {a69ae30bfee780dabb0136e85660560d}, intrahash = {d54ebc35e74cdd0b013c739206be043f}, isbn = {1-4244-0038-4}, keywords = {dblp}, pages = {1466-1470}, publisher = {IEEE}, timestamp = {2015-06-27T11:41:21.000+0200}, title = {A Formal CSP Framework for Message-Passing HPC Programming.}, url = {http://dblp.uni-trier.de/db/conf/ccece/ccece2006.html#CarterG06}, year = 2006 }