Inproceedings,
Modelling session types using contracts.
G. Bernardi, and M. Hennessy.SAC, page 1941-1946. ACM, (2012)
Meta data
- BibTeX key
- conf/sac/BernardiH12
- entry type
- inproceedings
- booktitle
- SAC
- year
- 2012
- pages
- 1941-1946
- publisher
- ACM
- crossref
- conf/sac/2012
- ee
- https://doi.org/10.1145/2245276.2232097
- isbn
- 978-1-4503-0857-1
- url
- http://dblp.uni-trier.de/db/conf/sac/sac2012.html#BernardiH12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sac/BernardiH12
%A Bernardi, Giovanni
%A Hennessy, Matthew
%B SAC
%D 2012
%E Ossowski, Sascha
%E Lecca, Paola
%I ACM
%K dblp
%P 1941-1946
%T Modelling session types using contracts.
%U http://dblp.uni-trier.de/db/conf/sac/sac2012.html#BernardiH12
%@ 978-1-4503-0857-1
@inproceedings{conf/sac/BernardiH12,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Bernardi, Giovanni and Hennessy, Matthew},
biburl = {https://www.bibsonomy.org/bibtex/2eb8a11682dcefe1001583bcb2cfeb106/dblp},
booktitle = {SAC},
crossref = {conf/sac/2012},
editor = {Ossowski, Sascha and Lecca, Paola},
ee = {https://doi.org/10.1145/2245276.2232097},
interhash = {b4ee56d1a72eb41ab5a73bcff81802a5},
intrahash = {eb8a11682dcefe1001583bcb2cfeb106},
isbn = {978-1-4503-0857-1},
keywords = {dblp},
pages = {1941-1946},
publisher = {ACM},
timestamp = {2018-11-07T16:24:30.000+0100},
title = {Modelling session types using contracts.},
url = {http://dblp.uni-trier.de/db/conf/sac/sac2012.html#BernardiH12},
year = 2012
}