|
|
|
|
Formalizing Agent-Based English Auctions Using Finite State Process Algebra
|
|
|
|
|
|
|
|
نویسنده
|
Badica Amelia ,Badica Costin
|
|
منبع
|
journal of universal computer science - 2008 - دوره : 14 - شماره : 7 - صفحه:1118 -1135
|
|
|
|
|
|
|
|
آدرس
|
University of craiova, Roamnia, University of craiova, Romania
|
|
پست الکترونیکی
|
badica_cosin@software.ucv.ro
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|