Title of article :
Distributed implementation of the disabling operator in
Author/Authors :
K. Naik، نويسنده , , Z. Cheng، نويسنده , , D. S. L. Wei، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1999
Pages :
8
From page :
123
To page :
130
Keywords :
Operational semantics , formal methods , Disabling operator , LOTOS , Distributed implementation
Journal title :
Information and Software Technology
Serial Year :
1999
Journal title :
Information and Software Technology
Record number :
134598
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=134598
بازگشت