Baboon, framework conducido por red de Petri para sistemas reactivos dirigidos por eventos

Ensuring that a concurrent program is correct means that during its execution no thread suffers starvation, no set of threads falls into a deadlock and their successive states lead to the solution. To assert this, it is necessary to appeal to formal methods. This paper proposes using a Petri Net as...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Rabinovich, Ariel Iván, Ventre, Luis O., Micolini, Orlando
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2019
Materias:
Ciencias Informáticas
Red de Petri
Sistema Reactivo
Programación Concurrente
Concurrencia
Modelo
Frameworks
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/91153
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares