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

Guardado en:
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

Ejemplares similares

Ejemplares similares