Falaschi, M., Olarte, C., Palamidessi, C., Department of Mathematics and Computer Science / Dipartimento di Scienze Matematiche e Informatiche "Roberto Magari" (DSMI), Università degli Studi di Siena = University of Siena (UNISI), Concurrency, M. and T. (COMETE), Laboratoire d’informatique de l’École polytechnique [Palaiseau] (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l’Institut Polytechnique de Paris, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, & Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria). (2009, September 7). A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs. Presented at the. CCSD, 2009. https://doi.org/10.1145/1599410.1599436

FALASCHI, Moreno, OLARTE, Carlos, PALAMIDESSI, Catuscia, DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE / DIPARTIMENTO DI SCIENZE MATEMATICHE E INFORMATICHE "ROBERTO MAGARI" (DSMI), Università degli Studi di Siena = University of Siena (UNISI), CONCURRENCY, Mobility and Transactions (COMETE), LABORATOIRE D’INFORMATIQUE DE L’ÉCOLE POLYTECHNIQUE [PALAISEAU] (LIX), ÉCOLE POLYTECHNIQUE (X), INSTITUT POLYTECHNIQUE DE PARIS (IP PARIS)-INSTITUT POLYTECHNIQUE DE PARIS (IP PARIS)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-ÉCOLE POLYTECHNIQUE (X), INSTITUT POLYTECHNIQUE DE PARIS (IP PARIS)-INSTITUT POLYTECHNIQUE DE PARIS (IP PARIS)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-CENTRE INRIA DE L’INSTITUT POLYTECHNIQUE DE PARIS, CENTRE INRIA DE SACLAY, INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-CENTRE INRIA DE SACLAY and INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA), 2009. A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs. In: [online]. CCSD, 2009. 7 September 2009. Available from: https:/ nria.hal.science nria-00426608

Falaschi, M., C. Olarte, C. Palamidessi, Department of Mathematics and Computer Science / Dipartimento di Scienze Matematiche e Informatiche "Roberto Magari" (DSMI), Università degli Studi di Siena = University of Siena (UNISI), M. and T. (COMETE) Concurrency, Laboratoire d’informatique de l’École polytechnique [Palaiseau] (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l’Institut Polytechnique de Paris, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, and Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria). A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs. CCSD, 2009., 2009, https://doi.org/10.1145/1599410.1599436.

Falaschi, M., Olarte, C., Palamidessi, C., Department of Mathematics and Computer Science / Dipartimento di Scienze Matematiche e Informatiche "Roberto Magari" (DSMI), Università degli Studi di Siena = University of Siena (UNISI), Concurrency, M. and T. (COMETE), Laboratoire d’informatique de l’École polytechnique [Palaiseau] (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l’Institut Polytechnique de Paris, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay and Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria). (2009), “A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs”, in , Vol. , CCSD, 2009., available at:https://doi.org/10.1145/1599410.1599436.