PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bortolussi L., Hillston J., Loreti M. Linking language and mean field approximations. QUANTICOL Internal Report 1.1. Technical report, 2015.
 
 
Abstract
(English)
The aim of this document is to identify the first steps towards integrating the results from Task1.1 in Work Package 1 with the language development work that is being carried out in Work Package 4. Specifically we consider how the emerging features of the Carma language can be used to take advantage of the scalable analysis techniques developed in Task1.1. Moreover, we also assess what changes might be required for Carma in order to link with the results on uncertain CTMCs, and their approximation by differential inclusions in Task1.1.
Subject Mean-Field
Process Languages
H.1 MODELS AND PRINCIPLES
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional