BibTeX
CSL-JSON
MLA
Harvard
Object-Oriented Choreographic Programming
release_2urvwpdrujag5hjse7grg7zfqi
by
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
Released
as a article
.
2022
Abstract
We present Choral, the first language for programming choreographies
(multiparty protocols) that builds on top of mainstream programming
abstractions: in Choral, choreographies are objects. Given a choreography that
defines interactions among some roles (Alice, Bob, etc.), an implementation for
each role in the choreography is automatically generated by a compiler. These
implementations are libraries in pure Java, which developers can modularly
compose in their own programs to participate correctly in choreographies.
In text/plain
format
Archived Files and Locations
application/pdf 3.2 MB
file_o2jfz36h3rf2jjie2jaq6nlhbq
|
arxiv.org (repository) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
arXiv
2005.09520v3
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links