A π-calculus Model of a Spanish Fish Market — Preliminary Report

A π-calculus Model of a Spanish Fish Market — Preliminary Report —

Published:1999 Issue: Volume: Page:166-188
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Padget Julian,Bradford Russell

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48835-9_10

Reference18 articles.

1. Luca Cardelli and Andrew Gordon. Mobile ambients. http://www.cl.cam.ac.uk/users/adg/Research/Ambit/index.html .

2. Jaron C. Collis and Lyndon C. Lee. Building electronic marketplaces with the zeus agent toolkit. In Carles Sierra and Pablo Noriega, editors, Agent Mediated Electronic Trading, volume 1571 of LNAI. Springer Verlag, 1999.

3. Joakim Eriksson, Niclas Finne, and Sverker Janson. Sics marketspace-an agent-based market infrastructure. In Carles Sierra and Pablo Noriega, editors, Agent Mediated Electronic Trading, volume 1571 of LNAI. Springer Verlag, 1999.

4. Lect Notes Comput Sci;C. Fournet,1996

5. Pere Garcia, Eduard Gimenez, Lluis Godo, and Juan A. Rodriguez-Aguilar. Possibilistic-based design of bidding strategies in electronic auctions. In Carles Sierra and Pablo Noriega, editors, Agent Mediated Electronic Trading, volume 1571 of LNAI. Springer Verlag, 1999.

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Behavioural equivalences of a probabilistic pi-calculus;Science China Information Sciences;2012-08-17

2. Unified modelling and analysis of collaboration business process based on Petri nets and Pi calculus;IET Software;2010

3. Specifying and monitoring economic environments using rights and obligations;Autonomous Agents and Multi-Agent Systems;2009-04-16

4. A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems;Studies in Computational Intelligence;2009

5. Specifying and Reasoning About Multiple Institutions;Coordination, Organizations, Institutions, and Norms in Agent Systems II;2007