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
Checking simple properties of transition systems defined by Thue specifications - MaRDI portal

Checking simple properties of transition systems defined by Thue specifications

From MaRDI portal

Publication:1610675

Jump to:navigation, search

DOI10.1023/A:1015850228563zbMath1002.68100MaRDI QIDQ1610675

Teodor Knapik

Publication date: 20 August 2002

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Mathematics Subject Classification ID

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)

This page was built for publication: Checking simple properties of transition systems defined by Thue specifications

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