Prioridades en un modelo de verdadero paralelismo
Title | Prioridades en un modelo de verdadero paralelismo |
Publication Type | Conference Paper |
Year of Publication | 1995 |
Authors | D'Argenio, PR, Echagüe, JV, Ramos, L |
Conference Name | Proceedings of the 24as Jornadas Argentinas de Informática e Investigación Operativa (24 JAIIO), Buenos Aires, Argentina |
Abstract | This article studies priorities in a true concurreny model. The priority operator [Baeten, Bergstra & Klop 1986] is defined on a class of transition systems that allows representation of ST-states. This work propose four different definitions. We study which kind of properties they preserve. In particular one of them happens to be a natural extension of the priority operator on interleaving models. |
PDF (Full text):