Semantics of Probabilistic Processes-An Operational Approach : China Scientific Books, Online bookstore for scientific, technical and medical books published in Greater China