Publication:3785911
From MaRDI portal
zbMath0643.68023MaRDI QIDQ3785911
Publication date: 1987
parallelism; concurrency; graph grammars; dining philosophers problem; interaction systems; canonical derivations. distributed resource scheduling algorithms
Related Items
On categorical graph grammars integrating structural transformations and operations on labels, Algebraic approach to single-pushout graph transformation, Parallel and distributed derivations in the single-pushout approach, Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming, Actor grammars, Unnamed Item