Sémantique relationnelle des programmes non-déterministes et des processus communicants
.
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1981
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00297312 http://tel.archives-ouvertes.fr/docs/00/29/73/12/PDF/Guerreiro.Pedro-J-V-D_1981_these.pdf |