Inproceedings,
Formal Choreographic Languages.
F. Barbanera, I. Lanese, and E. Tuosto.COORDINATION, volume 13271 of Lecture Notes in Computer Science, page 121-139. Springer, (2022)
Meta data
- BibTeX key
- conf/coordination/BarbaneraLT22
- entry type
- inproceedings
- booktitle
- COORDINATION
- year
- 2022
- pages
- 121-139
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 13271
- crossref
- conf/coordination/2022
- ee
- https://doi.org/10.1007/978-3-031-08143-9_8
- isbn
- 978-3-031-08143-9
- url
- http://dblp.uni-trier.de/db/conf/coordination/coordination2022.html#BarbaneraLT22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/coordination/BarbaneraLT22
%A Barbanera, Franco
%A Lanese, Ivan
%A Tuosto, Emilio
%B COORDINATION
%D 2022
%E ter Beek, Maurice H.
%E Sirjani, Marjan
%I Springer
%K dblp
%P 121-139
%T Formal Choreographic Languages.
%U http://dblp.uni-trier.de/db/conf/coordination/coordination2022.html#BarbaneraLT22
%V 13271
%@ 978-3-031-08143-9
@inproceedings{conf/coordination/BarbaneraLT22,
added-at = {2022-06-15T00:00:00.000+0200},
author = {Barbanera, Franco and Lanese, Ivan and Tuosto, Emilio},
biburl = {https://www.bibsonomy.org/bibtex/2f37c24654e78584cd19a5b442954356b/dblp},
booktitle = {COORDINATION},
crossref = {conf/coordination/2022},
editor = {ter Beek, Maurice H. and Sirjani, Marjan},
ee = {https://doi.org/10.1007/978-3-031-08143-9_8},
interhash = {00a909065dcf07d9e999f7df43daf33a},
intrahash = {f37c24654e78584cd19a5b442954356b},
isbn = {978-3-031-08143-9},
keywords = {dblp},
pages = {121-139},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T22:13:31.000+0200},
title = {Formal Choreographic Languages.},
url = {http://dblp.uni-trier.de/db/conf/coordination/coordination2022.html#BarbaneraLT22},
volume = 13271,
year = 2022
}