A typing discipline for statically verified crash failure handling in distributed systems
From MaRDI portal
Publication:2324008
DOI10.1007/978-3-319-89884-1_28zbMath1418.68019OpenAlexW2797112223MaRDI QIDQ2324008
Tzu-Chun Chen, Patrick Eugster, Malte Viering, Lukasz Ziarek, Raymond Hu
Publication date: 13 September 2019
Full work available at URL: https://doi.org/10.1007/978-3-319-89884-1_28
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (1)
This page was built for publication: A typing discipline for statically verified crash failure handling in distributed systems
