Title of article :
A CSP and Z combined modeling of document exchange processes in e-commerce protocols
Author/Authors :
Xu Wang، نويسنده , , Shing-Chi Cheung، نويسنده , , Jun Wei، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2002
Pages :
15
From page :
875
To page :
889
Keywords :
CSP , Document exchange process , Z , formal specification , E-commerce protocols , Internet Open Trading Protocol
Journal title :
Information and Software Technology
Serial Year :
2002
Journal title :
Information and Software Technology
Record number :
134917
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=134917
بازگشت