scientific article
From MaRDI portal
Publication:3785911
zbMath0643.68023MaRDI QIDQ3785911
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
parallelismconcurrencygraph grammarsdining philosophers probleminteraction systemscanonical derivations. distributed resource scheduling algorithms
Related Items
Hyperedge replacement with rendezvous, Concurrent graph and term graph rewriting, Unnamed Item, Unnamed Item, An event structure semantics for graph grammars with parallel productions, Synchronized composition of graph grammar productions, 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, A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications
