Jane Hillston, Michele Loreti. Specification and Analysis of Open-Ended Systems with CARMA. In Danny Weyns, Fabien Michel, editors, Agent Environments for Multi-Agent Systems IV - 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers. Volume 9068 of Lecture Notes in Computer Science, pages 95-116, Springer, 2014. [doi]
@inproceedings{HillstonL14, title = {Specification and Analysis of Open-Ended Systems with CARMA}, author = {Jane Hillston and Michele Loreti}, year = {2014}, doi = {10.1007/978-3-319-23850-0_7}, url = {http://dx.doi.org/10.1007/978-3-319-23850-0_7}, researchr = {https://researchr.org/publication/HillstonL14}, cites = {0}, citedby = {0}, pages = {95-116}, booktitle = {Agent Environments for Multi-Agent Systems IV - 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers}, editor = {Danny Weyns and Fabien Michel}, volume = {9068}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-23849-4}, }