Vol-2244⫷ Vol-2245 ⫸Vol-2246
urn:nbn:de:0074-2245-0


Vol-2245/ocl_paper_5⫷Vol-2245/ocl_paper_6⫸Vol-2245/ocl_paper_7
Théo Le CalvarFabien ChhelFrédéric JouaultFrédéric Saubion

Using Process Algebra to Statically Analyze Incremental Propagation Graphs