Title of article
Axiomatizing Probabilistic Processes: ACP with Generative Probabilities
Author/Authors
Baeten J. C. M.، نويسنده , , Bergstra J. A.، نويسنده , , Smolka S. A.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1195
Pages
22
From page
234
To page
255
Journal title
Information and Computation
Serial Year
1195
Journal title
Information and Computation
Record number
261580
Link To Document