Inproceedings,
Functional Choreographic Programming.
L. Cruz-Filipe, E. Graversen, L. Lugovic, F. Montesi, and M. Peressotti.ICTAC, volume 13572 of Lecture Notes in Computer Science, page 212-237. Springer, (2022)
Meta data
- BibTeX key
- conf/ictac/Cruz-FilipeGLMP22
- entry type
- inproceedings
- booktitle
- ICTAC
- year
- 2022
- pages
- 212-237
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 13572
- crossref
- conf/ictac/2022
- ee
- https://doi.org/10.1007/978-3-031-17715-6_15
- isbn
- 978-3-031-17715-6
- url
- http://dblp.uni-trier.de/db/conf/ictac/ictac2022.html#Cruz-FilipeGLMP22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ictac/Cruz-FilipeGLMP22
%A Cruz-Filipe, Luís
%A Graversen, Eva
%A Lugovic, Lovro
%A Montesi, Fabrizio
%A Peressotti, Marco
%B ICTAC
%D 2022
%E Seidl, Helmut
%E Liu, Zhiming
%E Pasareanu, Corina S.
%I Springer
%K dblp
%P 212-237
%T Functional Choreographic Programming.
%U http://dblp.uni-trier.de/db/conf/ictac/ictac2022.html#Cruz-FilipeGLMP22
%V 13572
%@ 978-3-031-17715-6
@inproceedings{conf/ictac/Cruz-FilipeGLMP22,
added-at = {2022-12-05T00:00:00.000+0100},
author = {Cruz-Filipe, Luís and Graversen, Eva and Lugovic, Lovro and Montesi, Fabrizio and Peressotti, Marco},
biburl = {https://www.bibsonomy.org/bibtex/2825c79cbeebe6ef8b065252d6424d80c/dblp},
booktitle = {ICTAC},
crossref = {conf/ictac/2022},
editor = {Seidl, Helmut and Liu, Zhiming and Pasareanu, Corina S.},
ee = {https://doi.org/10.1007/978-3-031-17715-6_15},
interhash = {049f06c4397ab49d682143dbac3fec24},
intrahash = {825c79cbeebe6ef8b065252d6424d80c},
isbn = {978-3-031-17715-6},
keywords = {dblp},
pages = {212-237},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T12:34:06.000+0200},
title = {Functional Choreographic Programming.},
url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2022.html#Cruz-FilipeGLMP22},
volume = 13572,
year = 2022
}