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.

Session Types for Link Failures

Manuel Adameit, Kirstin Peters, Uwe Nestmann. Session Types for Link Failures. In Ahmed Bouajjani, Alexandra Silva 0001, editors, Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. Volume 10321 of Lecture Notes in Computer Science, pages 1-16, Springer, 2017. [doi]

Authors

Manuel Adameit

This author has not been identified. Look up 'Manuel Adameit' in Google

Kirstin Peters

This author has not been identified. Look up 'Kirstin Peters' in Google

Uwe Nestmann

This author has not been identified. Look up 'Uwe Nestmann' in Google
runs on