A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems
Additional information
Authors
Viering M.,
Chen T. C.,
Eugster P. T.,
Hu R.,
Ziarek L.
Type
Book chapter
Year
2018
Language
English
Book
Lecture Notes in Computer Science
Publisher
Springer International Publishing
Pages (or article number)
799-826
ISBN
9783319898834, 9783319898841
ISSN
0302-9743, 1611-3349
Diffusion
License
License undefined
Visibility
Private
