dc.creator | Domínguez, Martín Ariel | |
dc.creator | Saiz, Gerardo Javier | |
dc.creator | D'Argenio, Pedro R. | |
dc.date | 2003-10 | |
dc.date | 2003-10 | |
dc.date | 2012-10-19T11:30:37Z | |
dc.identifier | http://sedici.unlp.edu.ar/handle/10915/22635 | |
dc.description | We present P♤, a Stochastic Process Algebra (SPA) that allows for the modeling of timed systems with priorities and urgency. We de ne the semantics of P♤ in terms of Prioritized Stochastic Automata (PSA), an extension of automata with clock events, priorities and probabilistic symbolic transitions. PSAs are symbolic objects that have a concrete semantics on Probabilistic Timed Transition Systems (PTTS). Therefore, P♤ has semantics in two steps in terms of PTTS. We also de ne several operators directly on PTTS.
They include parallel composition and a prioritizing operator. We show that this operators applied to PTTS commute (modulo probabilistic bisimulation) with their relatives in P♤ . | |
dc.description | Eje: Teoría (TEOR) | |
dc.description | Red de Universidades con Carreras en Informática (RedUNCI) | |
dc.format | application/pdf | |
dc.format | 1592-1602 | |
dc.language | en | |
dc.relation | IX Congreso Argentino de Ciencias de la Computación | |
dc.rights | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
dc.rights | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
dc.subject | Ciencias Informáticas | |
dc.title | P♤ : A process algebra for modeling prioritized stochastic timed systems (extended abstract) | |
dc.type | Objeto de conferencia | |
dc.type | Objeto de conferencia | |