scientific article

zbMath0643.68023MaRDI QIDQ3785911

Hans-Joerg Kreowski

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

parallelismconcurrencygraph grammarsdining philosophers probleminteraction systemscanonical derivations. distributed resource scheduling algorithms

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of operating systems (68N25)

Related Items (12)

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

This page was built for publication: