Title of article :
Binding telecooperation – a formal model for electronic commerce
Author/Authors :
Rudiger Grimm، نويسنده , , Peter Ochsenschlager، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Pages :
23
From page :
171
To page :
193
Keywords :
Formal model , Verification , Formal language theory , Electronic contract , Binding phase , Cooperation goal , Obligation , Pressure to goal , Proof
Journal title :
Computer Networks
Serial Year :
2001
Journal title :
Computer Networks
Record number :
299032
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=299032
