Title of article :
A theory of Stochastic systems. Part II: Process algebra
Author/Authors :
Pedro R. D’Argenio، نويسنده , , Joost-Pieter Katoen، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Pages :
36
From page :
39
To page :
74
Keywords :
stochastic process algebra , Stochastic automaton , Axiomatisation , Bisimulation , Operational semantics
Journal title :
Information and Computation
Serial Year :
2005
Journal title :
Information and Computation
Record number :
262317
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=262317
بازگشت