 |
Free and accessible knowledge |
Conference papers
Using process algebra to statically analyze incremental propagation graphs
Théo Le Calvar 1
Author Employer institution : Université d'Angers IdHAL : theo-le-calvar ORCID : https://orcid.org/0000-0003-2273-2053
Fabien Chhel 2
Author IdHAL : fabien-chhel ORCID : https://orcid.org/0000-0003-2224-8296
Frédéric Jouault 2
Author IdHAL : frederic-jouault IdRef : https://www.idref.fr/110218140 ORCID : https://orcid.org/0000-0002-2395-9623
Frédéric Saubion 1
Author IdHAL : frederic-saubion ORCID : https://orcid.org/0000-0001-8227-7174
1
LERIA - Laboratoire d'Etudes et de Recherche en Informatique d'Angers (Université d'Angers, LERIA - Facultés des Sciences, 2 Boulevard Lavoisier, Bâtiments G et H - 49045 Angers CEDEX 01 - France)
- UA - Université d'Angers : EA2645 (Université d'Angers - 40 Rue de Rennes, BP 73532 - 49035 Angers CEDEX 01 - France)
2
ÉRIS - ESEO-ÉRIS (France)
- ESEO-Tech (10 boulevard Jeanneteau
CS 90717
49107 Angers cedex 2 - France)
- UBL - Université Bretagne Loire (Cité Internationale, 1 place Paul Ricoeur - CS 54417 35044 RENNES CEDEX - France)
- ESEO - École supérieure d'électronique de l'ouest [Angers] (10 Boulevard Jean Jeanneteau, 49100 Angers - France)
Document type :
Conference papers
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01887900
Contributor : Nathalie Renois Connect in order to contact the contributor
Submitted on : Thursday, October 4, 2018 - 3:32:57 PM
Last modification on : Wednesday, March 2, 2022 - 3:52:01 PM
Contributor : Nathalie Renois Connect in order to contact the contributor
Submitted on : Thursday, October 4, 2018 - 3:32:57 PM
Last modification on : Wednesday, March 2, 2022 - 3:52:01 PM
Identifiers
- HAL Id : hal-01887900, version 1
Collections
UNIV-ANGERS | ESEO-TECH | LERIA | ESEO-ERIS
Citation
Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion. Using process algebra to statically analyze incremental propagation graphs. 18th International Workshop in OCL and Textual Modeling, Oct 2018, Copenhague, Denmark. ⟨hal-01887900⟩
Metrics
Record views