Implementing choreography extraction

Luís Cruz-Filipe, Fabrizio Montesi, Larisa Safina [2019].
In CoRR abs/1910.11741.

Choreography extraction deals with the generation of a choreography (a global description of communication behaviour) from a set of local process behaviours. In this work, we implement a previously proposed theory for extraction and show that, in spite of its theoretical exponential complexity, it is usable in practice. We discuss the data structures needed for an efficient implementation, introduce some optimizations, and perform a systematic practical evaluation.
Additional notes
Cite (BibTeX)
Click to expand
  author       = {Lu{\'{\i}}s Cruz{-}Filipe and
                  Fabrizio Montesi and
                  Larisa Safina},
  title        = {Implementing choreography extraction},
  journal      = {CoRR},
  volume       = {abs/1910.11741},
  year         = {2019},
  url          = {},
  eprinttype    = {arXiv},
  eprint       = {1910.11741},
  timestamp    = {Thu, 31 Oct 2019 14:02:26 +0100},
  biburl       = {},
  bibsource    = {dblp computer science bibliography,}