scientific article
From MaRDI portal
Publication:3673130
zbMath0522.68070MaRDI QIDQ3673130
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
distributed systemsPetri netsalgebraic specificationssemanticsconcurrencygraph grammarsgraph transformations
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05) Theory of operating systems (68N25)
Related Items (5)
Implementing term rewriting by jungle evaluation ⋮ Concurrent graph and term graph rewriting ⋮ Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming ⋮ Pushout-complements and basic concepts of grammars in toposes ⋮ Amalgamation of graph transformations: a synchronization mechanism
This page was built for publication:
