"SPiC-MAS: A Multiagent Simulation of Stochastic pi-calculus Models."

Mikaël Bourhis, Vincent Rodin, Gabriel Querrec (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics