Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
The ESPRIT basic research working group COMPUGRAPH ``Computing by graph transformation: A survey - MaRDI portal

The ESPRIT basic research working group COMPUGRAPH ``Computing by graph transformation: A survey

From MaRDI portal

Publication:685466

Jump to:navigation, search

DOI10.1016/0304-3975(93)90062-XzbMath0788.68096MaRDI QIDQ685466

Michael Löwe, Hartmut Ehrig

Publication date: 9 June 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

survey Petri nets graph rewriting concurrency graph grammars graph transformation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Cites Work

This page was built for publication: The ESPRIT basic research working group COMPUGRAPH ``Computing by graph transformation: A survey

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:685466&oldid=12593434"