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)peer-review

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

Cite this