Mostrar el registro sencillo del ítem
dc.contributor.author
Markovski, J.
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
Baeten, J. C. M.
dc.contributor.author
De Vink, E. P.
dc.date.available
2023-04-04T12:31:56Z
dc.date.issued
2012-06
dc.identifier.citation
Markovski, J.; D'argenio, Pedro Ruben; Baeten, J. C. M.; De Vink, E. P.; Reconciling real and stochastic time: The need for probabilistic refinement; Springer; Formal Aspects Of Computing; 24; 4-6; 6-2012; 497-518
dc.identifier.issn
0934-5043
dc.identifier.uri
http://hdl.handle.net/11336/192607
dc.description.abstract
We conservatively extend anACP-style discrete-time process theorywith discrete stochastic delays. The semantics of the timed delays relies on time additivity and time determinism, which are properties that enable us to merge subsequent timed delays and to impose their synchronous expiration. Stochastic delays, however, interact with respect to a so-called race condition that determines the set of delays that expire first, which is guided by an (implicit) probabilistic choice. The race condition precludes the property of time additivity as the merger of stochastic delays alters this probabilistic behavior. To this end, we resolve the race condition using conditionally- distributed unit delays. We give a sound and ground-complete axiomatization of the process theory comprising the standard set of ACP-style operators. In this generalized setting, the alternative composition is no longer associative, so we have to resort to special normal forms that explicitly resolve the underlying race condition. Our treatment succeeds in the initial challenge to conservatively extend standard time with stochastic time. However, the 'dissection' of the stochastic delays to conditionally-distributed unit delays comes at a price, as we can no longer relate the resolved race condition to the original stochastic delays. We seek a solution in the field of probabilistic refinements that enable the interchange of probabilistic and non deterministic choices.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Springer
![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
CONSERVATIVE EXTENSIONS
dc.subject
GENERALLY-DISTRIBUTED STOCHASTIC DELAYS
dc.subject
RACE CONDITION
dc.subject
TIMED AND STOCHASTIC PROCESS ALGEBRAS
dc.subject.classification
Ciencias de la Computación
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
Ciencias de la Computación e 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
CIENCIAS NATURALES Y EXACTAS
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.title
Reconciling real and stochastic time: The need for probabilistic refinement
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
2023-03-29T17:29:38Z
dc.journal.volume
24
dc.journal.number
4-6
dc.journal.pagination
497-518
dc.journal.pais
Alemania
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.journal.ciudad
Berlin
dc.description.fil
Fil: Markovski, J.. Technische Universiteit Eindhoven; Países Bajos
dc.description.fil
Fil: D'argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.description.fil
Fil: Baeten, J. C. M.. Technische Universiteit Eindhoven; Países Bajos. Centrum Wiskunde & Informatica; Países Bajos
dc.description.fil
Fil: De Vink, E. P.. Technische Universiteit Eindhoven; Países Bajos. Centrum Wiskunde & Informatica; Países Bajos
dc.journal.title
Formal Aspects Of Computing
![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/doi/http://dx.doi.org/10.1007/s00165-012-0230-y
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s00165-012-0230-y
Archivos asociados