Inproceedings,
Minimal Session Types for the π-calculus.
A. Arslanagic, A. Palamariuc, and J. Pérez.PPDP, page 12:1-12:15. ACM, (2021)
Meta data
- BibTeX key
- conf/ppdp/ArslanagicP021
- entry type
- inproceedings
- booktitle
- PPDP
- year
- 2021
- pages
- 12:1-12:15
- publisher
- ACM
- crossref
- conf/ppdp/2021
- ee
- https://doi.org/10.1145/3479394.3479407
- isbn
- 978-1-4503-8689-0
- url
- http://dblp.uni-trier.de/db/conf/ppdp/ppdp2021.html#ArslanagicP021
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ppdp/ArslanagicP021
%A Arslanagic, Alen
%A Palamariuc, Anda-Amelia
%A Pérez, Jorge A.
%B PPDP
%D 2021
%E Veltri, Niccolò
%E Benton, Nick
%E Ghilezan, Silvia
%I ACM
%K dblp
%P 12:1-12:15
%T Minimal Session Types for the π-calculus.
%U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2021.html#ArslanagicP021
%@ 978-1-4503-8689-0
@inproceedings{conf/ppdp/ArslanagicP021,
added-at = {2022-04-09T00:00:00.000+0200},
author = {Arslanagic, Alen and Palamariuc, Anda-Amelia and Pérez, Jorge A.},
biburl = {https://www.bibsonomy.org/bibtex/2eb64aff8a2770a77f3b0650839742b39/dblp},
booktitle = {PPDP},
crossref = {conf/ppdp/2021},
editor = {Veltri, Niccolò and Benton, Nick and Ghilezan, Silvia},
ee = {https://doi.org/10.1145/3479394.3479407},
interhash = {53d99f15bc8d22ab2e1d990fe8aff037},
intrahash = {eb64aff8a2770a77f3b0650839742b39},
isbn = {978-1-4503-8689-0},
keywords = {dblp},
pages = {12:1-12:15},
publisher = {ACM},
timestamp = {2024-04-09T21:36:32.000+0200},
title = {Minimal Session Types for the π-calculus.},
url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2021.html#ArslanagicP021},
year = 2021
}