P♤ : A process algebra for modeling prioritized stochastic timed systems (extended abstract)
Text / resource
Text / resource
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 extensio...
Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access