We show that under certain structural conditions in a finite biparti valued graph the absence of local deadlock is equivalent to the possibility for the system to have an infinite behaviour.
CITATION STYLE
Finkel, A. (1984). Blocage et vivacité dans les réseaux a pile-file. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 166 LNCS, pp. 151–162). Springer Verlag. https://doi.org/10.1007/3-540-12920-0_14
Mendeley helps you to discover research relevant for your work.