%0 Conference Paper %1 conf/concur/BernardiH14 %A Bernardi, Giovanni %A Hennessy, Matthew %B CONCUR %D 2014 %E Baldan, Paolo %E Gorla, Daniele %I Springer %K dblp %P 387-401 %T Using Higher-Order Contracts to Model Session Types (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/concur/concur2014.html#BernardiH14 %V 8704 %@ 978-3-662-44583-9

@inproceedings{conf/concur/BernardiH14, added-at = {2017-05-23T00:00:00.000+0200}, author = {Bernardi, Giovanni and Hennessy, Matthew}, biburl = {https://www.bibsonomy.org/bibtex/2a6e7c44ffc3a73af29fcb3aed82e2abf/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2014}, editor = {Baldan, Paolo and Gorla, Daniele}, ee = {https://doi.org/10.1007/978-3-662-44584-6_27}, interhash = {e600677c74af7bee547a2141c89a0a29}, intrahash = {a6e7c44ffc3a73af29fcb3aed82e2abf}, isbn = {978-3-662-44583-9}, keywords = {dblp}, pages = {387-401}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:57:38.000+0200}, title = {Using Higher-Order Contracts to Model Session Types (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2014.html#BernardiH14}, volume = 8704, year = 2014 }