Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion. Using process algebra to statically analyze incremental propagation graphs. In Regina Hebig, Thorsten Berger, editors, Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, October, 14, 2018. Volume 2245 of CEUR Workshop Proceedings, pages 160-173, CEUR-WS.org, 2018. [doi]
Abstract is missing.