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

Deprecated: Use of MediaWiki\Skin\SkinTemplate::injectLegacyMenusIntoPersonalTools was deprecated in Please make sure Skin option menus contains `user-menu` (and possibly `notifications`, `user-interface-preferences`, `user-page`) 1.46. [Called from MediaWiki\Skin\SkinTemplate::getPortletsTemplateData in /var/www/html/w/includes/Skin/SkinTemplate.php at line 691] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of MediaWiki\Skin\BaseTemplate::getPersonalTools was deprecated in 1.46 Call $this->getSkin()->getPersonalToolsForMakeListItem instead (T422975). [Called from Skins\Chameleon\Components\NavbarHorizontal\PersonalTools::getHtml in /var/www/html/w/skins/chameleon/src/Components/NavbarHorizontal/PersonalTools.php at line 66] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of QuickTemplate::(get/html/text/haveData) with parameter `personal_urls` was deprecated in MediaWiki Use content_navigation instead. [Called from MediaWiki\Skin\QuickTemplate::get in /var/www/html/w/includes/Skin/QuickTemplate.php at line 131] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

A language for the description of interacting parallel processes. II (Q760203)

From MaRDI portal





scientific article; zbMATH DE number 3883593
Language Label Description Also known as
English
A language for the description of interacting parallel processes. II
scientific article; zbMATH DE number 3883593

    Statements

    title
    A language for the description of interacting parallel processes. II (English)
    0 references
    author
    N. N. Ivanov
    0 references
    publication date
    1983
    0 references
    review text
    [For part I see Avtom. Telemekh. 1983, No.7, 124-132 (1983; Zbl 0526.68020).] Additional constraints on the syntax of the language of parallel compositions are introduced. These constraints determine the canonical form of the language, which is applied to decide the problem of equivalence of two arbitrary descriptions in this language.
    0 references
    zbMATH Keywords
    syntax
    0 references
    language of parallel compositions
    0 references
    canonical form
    0 references

    Identifiers

    zbMATH DE Number
    3883593
    0 references
     
    Retrieved from "https://mardi.schubotz.org/w/index.php?title=Item:Q760203&oldid=43910881"
    Powered by MediaWiki