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
Language for the description of interacting parallel processes. I - MaRDI portal

Language for the description of interacting parallel processes. I

From MaRDI portal

Publication:594582

Jump to:navigation, search

zbMath0526.68020MaRDI QIDQ594582

N. N. Ivanov

Publication date: 1983

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

regular sets language of equivalent transformations

Mathematics Subject Classification ID

Theory of operating systems (68N25) Theory of software (68N99)

This page was built for publication: Language for the description of interacting parallel processes. I

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