Type Systems for Distributed Programs: Components and Sessions, 1st ed. 2016 Atlantis Studies in Computing Series, Vol. 7
Auteur : Dardha Ornela
A new technique based on types for the consistency of dynamic reconfigurations
Innovative technique based on encodings for the safety properties in complex distributed systems
Powerful analysis of progress and deadlock freedom of communication in complex distributed systems
Includes supplementary material: sn.pub/extras
Date de parution : 08-2016
Ouvrage de 192 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 100,21 €
Ajouter au panier