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
A language for the description of interacting parallel processes. II - MaRDI portal

A language for the description of interacting parallel processes. II

From MaRDI portal

Publication:760203

Jump to:navigation, search

zbMath0554.68013MaRDI QIDQ760203

N. N. Ivanov

Publication date: 1983

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

zbMATH Keywords

canonical form syntax language of parallel compositions

Mathematics Subject Classification ID

Theory of operating systems (68N25)

This page was built for publication: A language for the description of interacting parallel processes. II

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