Modular Choreographies: Bridging Alice and Bob Notation to Java

Luís Cruz-Filipe, Anne Madsen, Fabrizio Montesi, Marco Peressotti [2022].
In proceedings of Microservices 2022, pp. 3:1-3:18.

Links
doi.org
Additional notes
None
Cite (BibTeX)
Click to expand
@inproceedings{DBLP:conf/microservices/Cruz-FilipeMMP22,
  author       = {Lu{\'{\i}}s Cruz{-}Filipe and
                  Anne Madsen and
                  Fabrizio Montesi and
                  Marco Peressotti},
  editor       = {Gokila Dorai and
                  Maurizio Gabbrielli and
                  Giulio Manzonetto and
                  Aomar Osmani and
                  Marco Prandini and
                  Gianluigi Zavattaro and
                  Olaf Zimmermann},
  title        = {Modular Choreographies: Bridging Alice and Bob Notation to Java},
  booktitle    = {Joint Post-proceedings of the Third and Fourth International Conference
                  on Microservices, Microservices 2020/2022, May 10-12, 2022, Paris,
                  France},
  series       = {OASIcs},
  volume       = {111},
  pages        = {3:1--3:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/OASIcs.Microservices.2020-2022.3},
  doi          = {10.4230/OASICS.MICROSERVICES.2020-2022.3},
  timestamp    = {Tue, 19 Dec 2023 17:15:12 +0100},
  biburl       = {https://dblp.org/rec/conf/microservices/Cruz-FilipeMMP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}