%0 Thesis %1 phd/ethos/Hu11 %A Hu, Raymond %D 2011 %K dblp %T Structural, safe and high-level communications programming with session types.

@phdthesis{phd/ethos/Hu11, added-at = {2022-04-05T00:00:00.000+0200}, author = {Hu, Raymond}, biburl = {https://www.bibsonomy.org/bibtex/23d23910c7a14a642c5ee25ed96c1d45e/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.534977}, interhash = {f5fed7740d5624e87dd6e15a6589240b}, intrahash = {3d23910c7a14a642c5ee25ed96c1d45e}, keywords = {dblp}, note = {British Library, EThOS}, school = {Imperial College London, UK}, timestamp = {2024-04-09T08:54:12.000+0200}, title = {Structural, safe and high-level communications programming with session types.}, year = 2011 }