- The Paths to Choreography Extraction.
- Luís Cruz-Filipe, Kim S. Larsen, and Fabrizio Montesi.
In Twentieth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Lecture Notes in Computer Science. Springer. Accepted for publication.
We propose a new extraction methodology that improves on the state of the art: we can deal with programs that are equipped with state and internal computation; time complexity is dramatically better; and we capture programs that work by exploiting asynchronous communication.
- publication
- Link to the publication at the publisher's site - subscription may be required.
Text required by the publisher (if any): The final publication is available at link.springer.com.
- other publications
- Other publications by the author.