Using process algebra to statically analyze incremental propagation graphs.

Tho Le Calvar, Fabien Chhel, Frdric Jouault, Frdric Saubion

Browse the full MODELS paper archive.