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.

A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems

Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek. A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. In Amal Ahmed, editor, Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Volume 10801 of Lecture Notes in Computer Science, pages 799-826, Springer, 2018. [doi]

Authors

Malte Viering

This author has not been identified. Look up 'Malte Viering' in Google

Tzu-Chun Chen

This author has not been identified. Look up 'Tzu-Chun Chen' in Google

Patrick Eugster

This author has not been identified. It may be one of the following persons: Look up 'Patrick Eugster' in Google

Raymond Hu

This author has not been identified. Look up 'Raymond Hu' in Google

Lukasz Ziarek

This author has not been identified. Look up 'Lukasz Ziarek' in Google
runs on