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.

Reasoning About Choreographic Programs

Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti. Reasoning About Choreographic Programs. In Sung-Shik Jongmans, Antónia Lopes, editors, Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings. Volume 13908 of Lecture Notes in Computer Science, pages 144-162, Springer, 2023. [doi]

Authors

Luís Cruz-Filipe

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

Eva Graversen

This author has not been identified. Look up 'Eva Graversen' 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