- Un Modèle Relationnel pour les Programmes
Non-Deterministes, Rapport de D.E.A. Informatique, Université
Scientifique et Médicale de Grenoble, 1979. (índice,
chap
1, chap
2, chap
3, chap
4, chap
5.)
- Sémantique Relationelle des Programes
Non-Deterministes et des Processus Communicants, Thèse
de Troisième Cycle en Informatique, presentée
à l'Université
Scientifique et Médicale de Grenoble, 1981. (índice,
chap
1, chap
2, chap
3, chap
4, chap
5, chap
6, chap
7, chap
8, chap
9, chap
10, referências.)
- Programas Não-Deterministas e Processos
Comunicantes: Semântica, Linguagem, Programação,
PhD Thesis presented to the Universidade Nova de Lisboahttp://www.unl.pt, 1983 (índice,
cap
1, cap
2, cap
3, cap
4, cap
5, cap
6, cap
7, cap
8, cap
9, cap
10, cap
11, cap
12, anexo
1, anexo
2.)
Agregação documents |
|
