Title of article :
A process algebra for probabilistic and nondeterministic processes
Author/Authors :
D. Cazorla، نويسنده , , F. Cuartero، نويسنده , , V. Valero، نويسنده , , F. L. Pelayo، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2001
Pages :
9
From page :
15
To page :
23
Keywords :
Formal semantics , concurrency , Specification languages
Journal title :
Information Processing Letters
Serial Year :
2001
Journal title :
Information Processing Letters
Record number :
129391
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=129391
بازگشت