Principe des methodes de preuve de proprietes d'invariance et de fatalite des programmes paralleles (in French)

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Original languageEnglish (US)
Title of host publicationParallelisme, communication et synchronisation
EditorsJ.-P. Verjus, G. Roucairol
PublisherEditions du CNRS
Pages129-149
StatePublished - 1985

Cite this

Cousot, P., & Cousot, R. (1985). Principe des methodes de preuve de proprietes d'invariance et de fatalite des programmes paralleles (in French). In J-P. Verjus, & G. Roucairol (Eds.), Parallelisme, communication et synchronisation (pp. 129-149). Editions du CNRS.