Bisimulations observationnelles probabilistes réactives pour la sémantique du parallèlisme

Afficher la notice abrégée

dc.contributor.author Mazouz, Samia
dc.date.accessioned 2021-02-08T09:49:14Z
dc.date.available 2021-02-08T09:49:14Z
dc.date.issued 1995
dc.identifier.uri http://repository.usthb.dz//xmlui/handle/123456789/8484
dc.description 86 p. : ill. ; 30 cm. (+ microfiche) en_US
dc.language.iso fr en_US
dc.subject Informatique ; Pararallèlisme, système de transition en_US
dc.title Bisimulations observationnelles probabilistes réactives pour la sémantique du parallèlisme en_US
dc.type Thesis en_US


Fichier(s) constituant ce document

Icon
Nom: Mazouz, Samia.pdf
Taille: 106.9Ko
Format: PDF
Voir/Ouvrir

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

Chercher dans le dépôt


Parcourir

Mon compte