Simulation and Analysis of Distributed Systems in Klaim

@inproceedings{klaim-coord2010,
Author = {Calzolai, Francesco and Loreti, Michele},
Booktitle = {Coordination Models and Languages},
Doi = {10.1007/978-3-642-13414-2_9},
Editor = {Clarke, Dave and Agha, Gul A.},
Isbn = {978-3-642-13413-5},
Issn = {0302-0473},
Note = {12th International Conference (COORDINATION 2010), Amsterdam, The Netherlands, 7-9~} # jun # {~2010. Proceedings},
Pages = {122--136},
Publisher = {Springer},
Series = {LNCS},
Title = {Simulation and Analysis of Distributed Systems in {K}laim},
Url = {http://www.springerlink.com/content/v0542162345h3523/},
urlpdf = {http://www.springerlink.com/content/v0542162345h3523/fulltext.pdf},
Volume = 6116,
Year = 2010}