Communicating sequential processes
Communicating sequential processes
A bridging model for parallel computation
Communications of the ACM
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Towards Layered Dialogical Agents
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
A Multi-agent System for Coordinating International Shipping
AMET '98 Selected Papers from the First International Workshop on Agent Mediated Electronic Trading on Agent Mediated Electronic Commerce
SICS MarketSpace - An Agent-Based Market Infrastructure
AMET '98 Selected Papers from the First International Workshop on Agent Mediated Electronic Trading on Agent Mediated Electronic Commerce
Building Electronic Marketplaces with the ZEUS Agent Tool-kit
AMET '98 Selected Papers from the First International Workshop on Agent Mediated Electronic Trading on Agent Mediated Electronic Commerce
Specifying and Reasoning About Multiple Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
A multiagent network for peer norm enforcement
Autonomous Agents and Multi-Agent Systems
Using π-calculus to formalize domain administration of RBAC
ISPEC'06 Proceedings of the Second international conference on Information Security Practice and Experience
On the concurrency of inter-organizational business processes
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
Specifying and monitoring market mechanisms using rights and obligations
AAMAS'04 Proceedings of the 6th AAMAS international conference on Agent-Mediated Electronic Commerce: theories for and Engineering of Distributed Mechanisms and Systems
Hi-index | 0.00 |
This paper reports an educational exercise in using the π-calculus to model components of an electronic marketplace. Specifically, we are looking at the Spanish fish market, since we have participated in the construction of several simulations of this scenario over the past 18 months and now feel it is time to prepare a more precise description. Our objectives in doing this were (i) to gain familiarity with the π-calculus (ii) to find out whether the π-calculus might provide a suitable basis for defining the behaviour of components in an electronic marketplace. It is not our intention at this stage to establish the correctness of the components or the completeness of the model: these will be addressed later using existing tools and by developing new ones. In summary, this is an experience report.