Publications

Export 1 results:
[ Type(Desc)] Year
Filters: Keyword is Attribute-based Process Algebras  [Clear All Filters]
Conference Paper
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. Quantitative Aspects of Programming Languages and Systems (QAPL). 194:16–31.