Ribeiro, T., Folschette, M., Magnin, M., Roux, O., Inoue, K., Méthodes Formelles pour la Bioinformatique (LS2 N - équipe MéFor Bio), Laboratoire des Sciences du Numérique de Nantes (LS2 N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Dynamics, L. and I. for biological S. and S. (Dyliss), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut de recherche en santé, environnement et travail (Irset), Université d’Angers (UA)-Université de Rennes (UR)-École des Hautes Études en Santé Publique EHESP (EHESP)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Structure Fédérative de Recherche en Biologie et Santé de Rennes (Biosit : Biologie - Santé - Innovation Technologique), National Institute of Informatics (NII), Fabrizio Riguzzi, Elena Bellodi, & Riccardo Zese. (2018, January 1). Learning Dynamics with Synchronous, Asynchronous and General Semantics. Presented at the. HAL CCSD&Springer, Cham. https://doi.org/10.1007/978-3-319-99960-9_8

RIBEIRO, Tony, FOLSCHETTE, Maxime, MAGNIN, Morgan, ROUX, Olivier, INOUE, Katsumi, Méthodes Formelles pour la Bioinformatique (LS2 N - équipe MéFor Bio), Laboratoire des Sciences du Numérique de Nantes (LS2 N), UNIVERSITÉ DE NANTES - UFR DES SCIENCES ET DES TECHNIQUES (UN UFR ST), UNIVERSITÉ DE NANTES (UN)-UNIVERSITÉ DE NANTES (UN)-ÉCOLE CENTRALE DE NANTES (ECN)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-IMT ATLANTIQUE (IMT ATLANTIQUE), INSTITUT MINES-TÉLÉCOM PARIS (IMT)-INSTITUT MINES-TÉLÉCOM PARIS (IMT)-UNIVERSITÉ DE NANTES - UFR DES SCIENCES ET DES TECHNIQUES (UN UFR ST), INSTITUT MINES-TÉLÉCOM PARIS (IMT)-INSTITUT MINES-TÉLÉCOM PARIS (IMT), DYNAMICS, Logics and Inference for biological Systems and Sequences (Dyliss), INRIA RENNES – BRETAGNE ATLANTIQUE, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTÈMES ALÉATOIRES (IRISA), UNIVERSITÉ DE RENNES (UR)-INSTITUT NATIONAL DES SCIENCES APPLIQUÉES - RENNES (INSA RENNES), INSTITUT NATIONAL DES SCIENCES APPLIQUÉES (INSA)-INSTITUT NATIONAL DES SCIENCES APPLIQUÉES (INSA)-UNIVERSITÉ DE BRETAGNE SUD (UBS)-ÉCOLE NORMALE SUPÉRIEURE - RENNES (ENS RENNES)-INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-CENTRALESUPÉLEC-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-IMT ATLANTIQUE (IMT ATLANTIQUE), INSTITUT MINES-TÉLÉCOM PARIS (IMT)-INSTITUT MINES-TÉLÉCOM PARIS (IMT)-UNIVERSITÉ DE RENNES (UR)-INSTITUT NATIONAL DES SCIENCES APPLIQUÉES - RENNES (INSA RENNES), INSTITUT MINES-TÉLÉCOM PARIS (IMT)-INSTITUT MINES-TÉLÉCOM PARIS (IMT)-INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTÈMES ALÉATOIRES (IRISA), INSTITUT NATIONAL DES SCIENCES APPLIQUÉES (INSA)-INSTITUT NATIONAL DES SCIENCES APPLIQUÉES (INSA)-UNIVERSITÉ DE BRETAGNE SUD (UBS)-ÉCOLE NORMALE SUPÉRIEURE - RENNES (ENS RENNES)-CENTRALESUPÉLEC-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-IMT ATLANTIQUE (IMT ATLANTIQUE), INSTITUT DE RECHERCHE EN SANTÉ, environnement et travail (Irset), UNIVERSITÉ D’ANGERS (UA)-UNIVERSITÉ DE RENNES (UR)-ÉCOLE DES HAUTES ÉTUDES EN SANTÉ PUBLIQUE EHESP (EHESP)-INSTITUT NATIONAL DE LA SANTÉ ET DE LA RECHERCHE MÉDICALE (INSERM)-STRUCTURE FÉDÉRATIVE DE RECHERCHE EN BIOLOGIE ET SANTÉ DE RENNES (BIOSIT : BIOLOGIE - SANTÉ - INNOVATION TECHNOLOGIQUE), NATIONAL INSTITUTE OF INFORMATICS (NII), FABRIZIO RIGUZZI, ELENA BELLODI and RICCARDO ZESE, 2018. Learning Dynamics with Synchronous, Asynchronous and General Semantics. In: . HAL CCSD&Springer, Cham. 1 January 2018.

Ribeiro, T., M. Folschette, M. Magnin, O. Roux, K. Inoue, Méthodes Formelles pour la Bioinformatique (LS2 N - équipe MéFor Bio), Laboratoire des Sciences du Numérique de Nantes (LS2 N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), L. and I. for biological S. and S. (Dyliss) Dynamics, Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), environnement et travail (Irset) Institut de recherche en santé, Université d’Angers (UA)-Université de Rennes (UR)-École des Hautes Études en Santé Publique EHESP (EHESP)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Structure Fédérative de Recherche en Biologie et Santé de Rennes (Biosit : Biologie - Santé - Innovation Technologique), National Institute of Informatics (NII), Fabrizio Riguzzi, Elena Bellodi, and Riccardo Zese. Learning Dynamics with Synchronous, Asynchronous and General Semantics. HAL CCSD&Springer, Cham, 2018, https://doi.org/10.1007/978-3-319-99960-9_8.

Ribeiro, T., Folschette, M., Magnin, M., Roux, O., Inoue, K., Méthodes Formelles pour la Bioinformatique (LS2 N - équipe MéFor Bio), Laboratoire des Sciences du Numérique de Nantes (LS2 N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Dynamics, L. and I. for biological S. and S. (Dyliss), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut de recherche en santé, environnement et travail (Irset), Université d’Angers (UA)-Université de Rennes (UR)-École des Hautes Études en Santé Publique EHESP (EHESP)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Structure Fédérative de Recherche en Biologie et Santé de Rennes (Biosit : Biologie - Santé - Innovation Technologique), National Institute of Informatics (NII), Fabrizio Riguzzi, Elena Bellodi and Riccardo Zese. (2018), “Learning Dynamics with Synchronous, Asynchronous and General Semantics”, in , Vol. , HAL CCSD&Springer, Cham, available at:https://doi.org/10.1007/978-3-319-99960-9_8.