Simulation and Analysis of Distributed Systems in Klaim

@inproceedings{klaim-coord2010,
   apice = {KlaimCoord2010},
   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 = {https://link.springer.com/10.1007/978-3-642-13414-2_9},
   urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-642-13414-2_9.pdf},
   volume = 6116,
   year = 2010
}