Bisimulations observationnelles probabilistes réactives pour la sémantique du parallèlisme
No Thumbnail Available
Date
1995
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
86 p. : ill. ; 30 cm. (+ microfiche)
Keywords
Informatique ; Pararallèlisme, système de transition