Information Technology Reference
In-Depth Information
References
1. Winskel, G.: The Formal Semantics of Programming Languages: an Introduction. The MIT
Press, Cambridge (1993)
2. Sangiorgi, D.: Introduction to Bisimulation and Coinduction. Cambridge University Press,
Cambridge (2012)
3. MatouĊĦek, J.: Lectures on Discrete Geometry. Springer, New York (2002)
4. Billingsley, P.: Probability and Measure. Wiley, New York (1995)
Previous Page
Next Page
Semantics of Probabilistic Processes: An Operational Approach
Search WWH ::




Custom Search
Home