A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems
Informazioni aggiuntive
Autori
Viering M.,
Chen T. C.,
Eugster P. T.,
Hu R.,
Ziarek L.
Tipo
Contributo in libro
Anno
2018
Lingua
Inglese
Libro
Lecture Notes in Computer Science
Editore
Springer International Publishing
Pagine (o numero dell’articolo)
799-826
ISBN
9783319898834, 9783319898841
ISSN
0302-9743, 1611-3349
Diffusione
Licenza
Licenza non definita
Visibilità
Privato
