Search
for Author
All Reviews
Kok, Joost
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
1
of
1
reviews
Contractions in comparing concurrency semantics
Kok J. (ed), Rutten J. Theoretical Computer Science 76(2-3): 179-222, 2001. Type: Article
The operational and denotational semantics for the three concurrent imperative languages L
0
, L
1
, and L
2
have previously been studied by J. W. de Bakker, Kok, and others. Both the operational and the den...
...
Aug 1 1991
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy
