Modeling concurrency with partial orders
International Journal of Parallel Programming
Event structures and trace monoids
Theoretical Computer Science
Theoretical Computer Science - Special volume of selected papers of the Sixth Workshop on the Mathematical Foundations of Programming Semantics, Kingston, Ont., Canada, May 1990
Handbook of logic in computer science (vol. 4)
Context-free event domains are regocnizable
Information and Computation
The Book of Traces
Local First Search - A New Paradigm for Partial Order Reductions
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Ludics Nets, a game Model of Concurrent Interaction
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
Topological Properties of Event Structures
Electronic Notes in Theoretical Computer Science (ENTCS)
Typed Event Structures and the π-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
The MSO theory of connectedly communicating processes
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
The implementation of mazurkiewicz traces in POEM
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
On embeddings of CAT(0) cube complexes into products of trees via colouring their hyperplanes
Journal of Combinatorial Theory Series B
| Hi-index | 0.00 |
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 index of an event structure of degree 3 is bounded by a linear function of the height. The main theorem of the paper states that event structures of degree 3 whose causality order is a tree have a nice labelling with 3 colors. We exemplify how to use this theorem to construct upper bounds for the index of other event structures of degree 3.