We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

Title: Implementing choreography extraction

Abstract: 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.
Subjects: Programming Languages (cs.PL)
Cite as: arXiv:1910.11741 [cs.PL]
  (or arXiv:1910.11741v1 [cs.PL] for this version)

Submission history

From: Fabrizio Montesi [view email]
[v1] Fri, 25 Oct 2019 14:09:45 GMT (266kb)

Link back to: arXiv, form interface, contact.