Table of contents for Semantics of probabilistic processes.

Bibliographic record and links to related information available from the Library of Congress catalog

Information from electronic data provided by the publisher. May be incomplete or contain other coding.

1. Introduction.- 2. Mathematical Preliminaries.- 3. Probabilistic Bisimulation.- 4. Probabilistic Testing Semantics.- 5. Testing Finite Probabilistic Processes.- 6. Testing Finitary Probabilistic Processes.- 7. Weak probabilistic bisimulation.- Index.

Library of Congress subject headings for this publication: