Structural Operational Semantics for Continuous State Probabilistic Processes

Abstract : We consider the problem of modeling syntax and semantics of probabilistic processes with continuous states (e.g. with continuous data). Syntax and semantics of these systems can be defined as algebras and coalgebras of suitable endofunctors over Meas, the category of measurable spaces. In order to give a more concrete representation for these coalgebras, we present an SOS-like rule format which induces an abstract GSOS over Meas; this format is proved to yield a fully abstract universal semantics, for which behavioural equivalence is a congruence.To this end, we solve several problems. In particular, the format has to specify how to compose the semantics of processes (which basically are continuous state Markov processes). This is achieved by defining a language of measure terms, i.e., expressions specifically designed for describing probabilistic measures. Thus, the transition relation associates processes with measure terms.As an example application, we model a CCS-like calculus of processes placed in an Euclidean space. The approach we follow in this case can be readily adapted to other quantitative aspects, e.g. Quality of Service, physical and chemical parameters in biological systems, etc.
Type de document :
Communication dans un congrès
Dirk Pattinson; Lutz Schröder. 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. Springer, Lecture Notes in Computer Science, LNCS-7399, pp.71-89, 2012, Coalgebraic Methods in Computer Science. 〈10.1007/978-3-642-32784-1_5〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01539880
Contributeur : Hal Ifip <>
Soumis le : jeudi 15 juin 2017 - 15:02:44
Dernière modification le : jeudi 15 juin 2017 - 15:25:48
Document(s) archivé(s) le : mercredi 13 décembre 2017 - 12:20:59

Fichier

978-3-642-32784-1_5_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Giorgio Bacci, Marino Miculan. Structural Operational Semantics for Continuous State Probabilistic Processes. Dirk Pattinson; Lutz Schröder. 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. Springer, Lecture Notes in Computer Science, LNCS-7399, pp.71-89, 2012, Coalgebraic Methods in Computer Science. 〈10.1007/978-3-642-32784-1_5〉. 〈hal-01539880〉

Partager

Métriques

Consultations de la notice

84

Téléchargements de fichiers

14