Publications

Export 1 results:
Type [ Year(Desc)]
Filters: Keyword is Attribute-based Process Algebras  [Clear All Filters]
2015
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.