Albert C. Esterline, Toinette Rorie. Using the pi-Calculus to Model Multiagent Systems. In James L. Rash, Christopher Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey, editors, Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers. Volume 1871 of Lecture Notes in Computer Science, pages 164-179, Springer, 2000. [doi]
@inproceedings{EsterlineR00,
title = {Using the pi-Calculus to Model Multiagent Systems},
author = {Albert C. Esterline and Toinette Rorie},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/1871/18710164.htm},
tags = {C++},
researchr = {https://researchr.org/publication/EsterlineR00},
cites = {0},
citedby = {0},
pages = {164-179},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
editor = {James L. Rash and Christopher Rouff and Walt Truszkowski and Diana F. Gordon and Michael G. Hinchey},
volume = {1871},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42716-3},
}