Title of article :
Deriving distributed processes from concurrent processes
Author/Authors :
Padmanabhan Krishnan، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1995
Pages :
6
From page :
557
To page :
562
Keywords :
refinement , ccs , distributed CCS , Concurrency
Journal title :
Information and Software Technology
Serial Year :
1995
Journal title :
Information and Software Technology
Record number :
134345
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=134345
بازگشت