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