P♤ : A process algebra for modeling prioritized stochastic timed systems (extended abstract)

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....

Descripción completa

Detalles Bibliográficos
Autores principales: Domínguez, Martín Ariel, Saiz, Gerardo Javier, D'Argenio, Pedro R.
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2003
Materias:
Ciencias Informáticas
Process Algebra
Prioritized Stochastic
Modeling
Stochastic processes
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22635
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22635
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Process Algebra
Prioritized Stochastic
Modeling
Stochastic processes
spellingShingle Ciencias Informáticas
Process Algebra
Prioritized Stochastic
Modeling
Stochastic processes
Domínguez, Martín Ariel
Saiz, Gerardo Javier
D'Argenio, Pedro R.
P♤ : A process algebra for modeling prioritized stochastic timed systems (extended abstract)
topic_facet Ciencias Informáticas
Process Algebra
Prioritized Stochastic
Modeling
Stochastic processes
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♤ .
format Objeto de conferencia
Objeto de conferencia
author Domínguez, Martín Ariel
Saiz, Gerardo Javier
D'Argenio, Pedro R.
author_facet Domínguez, Martín Ariel
Saiz, Gerardo Javier
D'Argenio, Pedro R.
author_sort Domínguez, Martín Ariel
title P♤ : A process algebra for modeling prioritized stochastic timed systems (extended abstract)
title_short P♤ : A process algebra for modeling prioritized stochastic timed systems (extended abstract)
title_full P♤ : A process algebra for modeling prioritized stochastic timed systems (extended abstract)
title_fullStr P♤ : A process algebra for modeling prioritized stochastic timed systems (extended abstract)
title_full_unstemmed P♤ : A process algebra for modeling prioritized stochastic timed systems (extended abstract)
title_sort p♤ : a process algebra for modeling prioritized stochastic timed systems (extended abstract)
publishDate 2003
url http://sedici.unlp.edu.ar/handle/10915/22635
work_keys_str_mv AT dominguezmartinariel paprocessalgebraformodelingprioritizedstochastictimedsystemsextendedabstract
AT saizgerardojavier paprocessalgebraformodelingprioritizedstochastictimedsystemsextendedabstract
AT dargeniopedror paprocessalgebraformodelingprioritizedstochastictimedsystemsextendedabstract
bdutipo_str Repositorios
_version_ 1764820466155913218

Ejemplares similares