Drăgoi, C., Henzinger, T., Zufferey, D., Analyse Statique par Interprétation Abstraite (ANTIQUE), Département d’informatique de l’École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris) - Institut National de Recherche en Informatique et en Automatique (Inria) - Centre National de la Recherche Scientifique (CNRS) - École normale supérieure - Paris (ENS Paris) - Institut National de Recherche en Informatique et en Automatique (Inria) - Centre National de la Recherche Scientifique (CNRS) - Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Institute of Science and Technology [Austria] (IST Austria), IST Austria, Computer Science and Artificial Intelligence Laboratory [Cambridge] (CSAIL), & Massachusetts Institute of Technology (MIT). (2017, January 12). PSYNC: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms. Presented at the. HAL CCSD, 2017.

DRĂGOI, Cezara, HENZINGER, Thomas, ZUFFEREY, Damien, ANALYSE STATIQUE PAR INTERPRÉTATION ABSTRAITE (ANTIQUE), DÉPARTEMENT D’INFORMATIQUE DE L’ÉCOLE NORMALE SUPÉRIEURE (DI-ENS), ÉCOLE NORMALE SUPÉRIEURE - PARIS (ENS PARIS) - INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA) - CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS) - ÉCOLE NORMALE SUPÉRIEURE - PARIS (ENS PARIS) - INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA) - CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS) - INRIA DE PARIS, INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA), INSTITUTE OF SCIENCE AND TECHNOLOGY [AUSTRIA] (IST AUSTRIA), IST AUSTRIA, COMPUTER SCIENCE AND ARTIFICIAL INTELLIGENCE LABORATORY [CAMBRIDGE] (CSAIL) and MASSACHUSETTS INSTITUTE OF TECHNOLOGY (MIT), 2017. PSYNC: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms. In: . HAL CCSD, 2017. 12 January 2017.

Drăgoi, C., T. Henzinger, D. Zufferey, Analyse Statique par Interprétation Abstraite (ANTIQUE), Département d’informatique de l’École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris) - Institut National de Recherche en Informatique et en Automatique (Inria) - Centre National de la Recherche Scientifique (CNRS) - École normale supérieure - Paris (ENS Paris) - Institut National de Recherche en Informatique et en Automatique (Inria) - Centre National de la Recherche Scientifique (CNRS) - Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Institute of Science and Technology [Austria] (IST Austria), IST Austria, Computer Science and Artificial Intelligence Laboratory [Cambridge] (CSAIL), and Massachusetts Institute of Technology (MIT). PSYNC: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms. HAL CCSD, 2017., 2017.

Drăgoi, C., Henzinger, T., Zufferey, D., Analyse Statique par Interprétation Abstraite (ANTIQUE), Département d’informatique de l’École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris) - Institut National de Recherche en Informatique et en Automatique (Inria) - Centre National de la Recherche Scientifique (CNRS) - École normale supérieure - Paris (ENS Paris) - Institut National de Recherche en Informatique et en Automatique (Inria) - Centre National de la Recherche Scientifique (CNRS) - Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Institute of Science and Technology [Austria] (IST Austria), IST Austria, Computer Science and Artificial Intelligence Laboratory [Cambridge] (CSAIL) and Massachusetts Institute of Technology (MIT). (2017), “PSYNC: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms”, in , Vol. , HAL CCSD, 2017.