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