Mostrar el registro sencillo del ítem
dc.contributor.author
D'argenio, Pedro Ruben
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Katoen, Joost Pieter
dc.date.available
2024-08-08T10:52:59Z
dc.date.issued
2005-12
dc.identifier.citation
D'argenio, Pedro Ruben; Katoen, Joost Pieter; A theory of Stochastic systems. Part II: Process algebra; Academic Press Inc Elsevier Science; Information and Computation; 203; 1; 12-2005; 39-74
dc.identifier.issn
0890-5401
dc.identifier.uri
http://hdl.handle.net/11336/242065
dc.description.abstract
This paper introduces (pronounce spades), a stochastic process algebra for discrete-event systems, that extends traditional process algebra with timed actions whose delay is governed by general (a.o. continuous) probability distributions. The operational semantics is defined in terms of stochastic automata, a model that uses clocks—like in timed automata—to symbolically represent randomly timed systems, cf. the accompanying paper [P.R. D’Argenio, J.-P. Katoen, A theory of stochastic systems. Part I: Stochastic automata. Inf. Comput. (2005), to appear]. We show that stochastic automata and are equally expressive, and prove that the operational semantics of a term up to -conversion of clocks, is unique (modulo symbolic bisimulation). (Open) probabilistic and structural bisimulation are proven to be congruences for , and are equipped with an equational theory. The equational theory is shown to be complete for structural bisimulation and allows to derive an expansion law.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Academic Press Inc Elsevier Science
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
Axiomatisation
dc.subject
Bisimulation
dc.subject
Operational semantics
dc.subject
Stochastic automaton
dc.subject
Stochastic process algebra
dc.subject.classification
Ingeniería de Sistemas y Comunicaciones
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
Ingeniería Eléctrica, Ingeniería Electrónica e Ingeniería de la Información
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
INGENIERÍAS Y TECNOLOGÍAS
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.title
A theory of Stochastic systems. Part II: Process algebra
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2024-08-05T14:06:24Z
dc.journal.volume
203
dc.journal.number
1
dc.journal.pagination
39-74
dc.journal.pais
Estados Unidos
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.description.fil
Fil: D'argenio, Pedro Ruben. Universidad Nacional de Córdoba; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina
dc.description.fil
Fil: Katoen, Joost Pieter. Universiteit Twente (ut);
dc.journal.title
Information and Computation
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://www.sciencedirect.com/science/article/pii/S0890540105001197
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1016/j.ic.2005.07.002
Archivos asociados