Sciweavers

GG
2008
Springer

Labelled (Hyper)Graphs, Negotiations and the Naming Problem

14 years 1 days ago
Labelled (Hyper)Graphs, Negotiations and the Naming Problem
We consider four different models of process interactions that unify and generalise models introduced and studied by Angluin et al. [AAD+ 04] and models introduced and studied by Mazurkiewicz [Maz04a,Maz04b]. We encode these models by labelled (hyper)graphs and relabelling rules on this labelled (hyper)graphs called negotiations. Then for these models, we give complete characterisations of labelled graphs in which the naming problem can be solved. Our characterizations are expressed in terms of locally constrained homomorphisms that are generalisations of known graph homomorphisms.
Jérémie Chalopin, Antoni W. Mazurkie
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2008
Where GG
Authors Jérémie Chalopin, Antoni W. Mazurkiewicz, Yves Métivier
Comments (0)