Axiomatizing Probabilistic Processes: ACP With Generative Probabilities
Information and Computation - United States
doi 10.1006/inco.1995.1135
Full Text
Open PDFAbstract
Available in full text
Categories
Date
September 1, 1995
Authors
Publisher
Elsevier BV