Edinburgh Research Explorer

CARMA: Collective Adaptive Resource-sharing Markovian Agents

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

CARMA: Collective Adaptive Resource-sharing Markovian Agents. / Bortolussi, Luca; De Nicola, Rocco; Galpin, Vashti; Gilmore, Stephen; Hillston, Jane; Latella, Diego; Loreti, Michele; Massink, Mieke.

Workshop on Quantitative Analysis of Programming Languages 2015. 2015.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Bortolussi, L, De Nicola, R, Galpin, V, Gilmore, S, Hillston, J, Latella, D, Loreti, M & Massink, M 2015, CARMA: Collective Adaptive Resource-sharing Markovian Agents. in Workshop on Quantitative Analysis of Programming Languages 2015. Workshop on Quantitative Analysis of Programming Languages 2015, London, United Kingdom, 11/04/15.

APA

Bortolussi, L., De Nicola, R., Galpin, V., Gilmore, S., Hillston, J., Latella, D., ... Massink, M. (2015). CARMA: Collective Adaptive Resource-sharing Markovian Agents. In Workshop on Quantitative Analysis of Programming Languages 2015

Vancouver

Bortolussi L, De Nicola R, Galpin V, Gilmore S, Hillston J, Latella D et al. CARMA: Collective Adaptive Resource-sharing Markovian Agents. In Workshop on Quantitative Analysis of Programming Languages 2015. 2015

Author

Bortolussi, Luca ; De Nicola, Rocco ; Galpin, Vashti ; Gilmore, Stephen ; Hillston, Jane ; Latella, Diego ; Loreti, Michele ; Massink, Mieke. / CARMA: Collective Adaptive Resource-sharing Markovian Agents. Workshop on Quantitative Analysis of Programming Languages 2015. 2015.