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

Simple item page
dc.contributor.authorMazouz, Samia
dc.date.accessioned2021-02-08T09:49:14Z
dc.date.available2021-02-08T09:49:14Z
dc.date.issued1995
dc.description86 p. : ill. ; 30 cm. (+ microfiche)en_US
dc.identifier.urihttp://repository.usthb.dz//xmlui/handle/123456789/8484
dc.language.isofren_US
dc.subjectInformatique ; Pararallèlisme, système de transitionen_US
dc.titleBisimulations observationnelles probabilistes réactives pour la sémantique du parallèlismeen_US
dc.typeThesisen_US

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Mazouz, Samia.pdf
Size:
106.98 KB
Format:
Adobe Portable Document Format
Description:
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Théses de Magister