 |
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
 |
|
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
|
| HAL: hal-00369451, version 1 |
| arXiv: 0903.3462 |
| Detailed view |  Export this paper |
 |
|
|
| A Nice Labelling for Tree-Like Event Structures of Degree 3 (Extended Version) |
|
|
| Luigi Santocanale 1 |
|
|
| (2009-03-19) |
|
|
|
| We address the problem of finding nice labellings for event structures of degree 3. We develop a minimum theory by which we prove that the labelling number of an event structure of degree 3 is bounded by a linear function of the height. The main theorem we present in this paper states that event structures of degree 3 whose causality order is a tree have a nice labelling with 3 colors. Finally, we exemplify how to use this theorem to construct upper bounds for the labelling number of other event structures of degree 3. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire d'informatique Fondamentale de Marseille (LIF) |
|
|
|
CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Distributed, Parallel, and Cluster Computing |
|
|
|
|
| hal-00369451, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00369451 | |
| oai:hal.archives-ouvertes.fr:hal-00369451 | |
| From: Luigi Santocanale | |
| Submitted on: Thursday, 19 March 2009 20:17:31 | |
| Updated on: Friday, 20 March 2009 08:54:15 | |
