BIB-VERSION:: CS-TR-v2.0
          ID:: SBCS//stark/milner.ps.gz
       ENTRY:: December 19, 1996
ORGANIZATION:: State University of New York at Stony Brook, Computer Science
       TITLE:: A Complete Axiom System for Finite-State
		  Probabilistic Processes
        TYPE:: Preprint
      AUTHOR:: Stark, Eugene W., and Smolka, Scott A.
     CONTACT:: Eugene W. Stark, Department of Computer Science,
                   SUNY at Stony Brook, Stony Brook, NY 11794-4400
                   Tel: 516-632-8444 <stark@cs.sunysb.edu>
        DATE:: December, 1996
   RETRIEVAL:: HTTP from BSD7.CS.SUNYSB.EDU with the URL
		   http://bsd7.cs.sunysb.edu/~stark/REPORTS/milner.ps.gz

ABSTRACT::

A complete equational axiomatization of probabilistic bisimulation for
finite-state probabilistic processes is presented.  It extends Milner's
complete axiomatization of regular behaviors, which appeared in Volume 28 of
the Journal of Computer and System Sciences (1984).