Search
for Author
All Reviews
Deng, Yuxin
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
2
of
2
reviews
Program equivalence in linear contexts
Deng Y., Zhang Y. Theoretical Computer Science 585(C): 71-90, 2015. Type: Article
It is not too much of a stretch of the imagination to say that mathematics boils down to the study of the question: When are two terms equal? (along with all of the consequences of the various answers to this question). These studies a...
...
Feb 11 2016
Semantics of probabilistic processes: an operational approach
Deng Y., Springer Publishing Company, Incorporated, New York, NY, 2015. 249 pp. Type: Book (978-3-662451-97-7)
This is a good resource for understanding issues related to the semantic foundations of concurrent systems. The author especially examines bisimulation semantics and testing semantics....
...
Oct 20 2015
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy