A Formal Agent-ediated E-Market Framework
Lixin Li · Journal of Southwest China Normal University · 2005
In this paper an agent-mediated e-market framework is put forward and described formally in the polyadic π-calculus. In the e-market buyer agent or seller agent can be allowed to join or leave at any time. To finish exchange efficiently dynamic coalition is formed among buyer agents or seller agents. Two kinds of member in the e-market and their dynamic behavior are expressed formally in the polyadic π-calculus.