TU Darmstadt / ULB / TUbiblio

A Type Theory for Robust Failure Handling in Distributed Systems

Chen, Tzu-Chun and Viering, Malte and Bejleri, Andi and Ziarek, Lukasz and Eugster, Patrick (2016):
A Type Theory for Robust Failure Handling in Distributed Systems.
In: Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, pp. 96--113, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2016
Creators: Chen, Tzu-Chun and Viering, Malte and Bejleri, Andi and Ziarek, Lukasz and Eugster, Patrick
Title: A Type Theory for Robust Failure Handling in Distributed Systems
Language: German
Title of Book: Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016
Divisions: 20 Department of Computer Science > Distributed Systems Programming
20 Department of Computer Science
Date Deposited: 30 Dec 2016 22:38
Identification Number: TUD-CS-2016-0117
Related URLs:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item