Cargando…

Reversible Occurrence Nets and Causal Reversible Prime Event Structures

One of the well-known results in concurrency theory concerns the relationship between event structures and occurrence nets: an occurrence net can be associated with a prime event structure, and vice versa. More generally, the relationships between various forms of event structures and suitable forms...

Descripción completa

Detalles Bibliográficos
Autores principales: Melgratti, Hernán, Mezzina, Claudio Antares, Phillips, Iain, Pinna, G. Michele, Ulidowski, Irek
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7342081/
http://dx.doi.org/10.1007/978-3-030-52482-1_2