Original language | English (US) |
---|---|
Title of host publication | Parallelisme, communication et synchronisation |
Editors | J.-P. Verjus, G. Roucairol |
Publisher | Editions du CNRS |
Pages | 129-149 |
State | Published - 1985 |
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 proceeding › Chapter (peer-reviewed) › peer-review