External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Certifying Choreography Compilation

Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti. Certifying Choreography Compilation. In Antonio Cerone, Peter Csaba Ölveczky, editors, Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings. Volume 12819 of Lecture Notes in Computer Science, pages 115-133, Springer, 2021. [doi]

Authors

Luís Cruz-Filipe

This author has not been identified. Look up 'Luís Cruz-Filipe' in Google

Fabrizio Montesi

This author has not been identified. Look up 'Fabrizio Montesi' in Google

Marco Peressotti

This author has not been identified. Look up 'Marco Peressotti' in Google
runs on