Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Implementing Choreography Extraction
Map detail
Implementing Choreography Extraction6 visible / 6 total nodes / 5 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipTopic signalImplementing Choreography ExtractionWImplementing Choreography Extra...preprint / 2022Luis Cruz-FilipeALuis Cruz-FilipeResearcherKim S. LarsenAKim S. LarsenResearcherFabrizio MontesiAFabrizio MontesiResearcherLarisa SafinaALarisa SafinaResearcherProgramming LanguagesTProgramming Languages1239 works
Paper5 links

Implementing Choreography Extraction

preprint / 2022