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.

Safe Asynchronous Mixed-Choice for Timed Interactions

Jonah Pears, Laura Bocchi, Andy King. Safe Asynchronous Mixed-Choice for Timed Interactions. 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 214-231, Springer, 2023. [doi]

Authors

Jonah Pears

This author has not been identified. Look up 'Jonah Pears' in Google

Laura Bocchi

This author has not been identified. Look up 'Laura Bocchi' in Google

Andy King

This author has not been identified. Look up 'Andy King' in Google
runs on