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
Concurrent program schemes and their logics - 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 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

Concurrent program schemes and their logics (Q1094866)

From MaRDI portal





scientific article; zbMATH DE number 4026802
Language Label Description Also known as
English
Concurrent program schemes and their logics
scientific article; zbMATH DE number 4026802

    Statements

    title
    Concurrent program schemes and their logics (English)
    0 references
    publication date
    1987
    0 references
    review text
    We define and investigate several classes of concurrent program schemes, including goto schemes and two versions of structured schemes, based on extensions of the regular expressions to trees. The schemes are studied on the first-order, Boolean-variable and propositional levels. We also define and study the dynamic logics based on these classes of schemes, including issues of decidability and axiomatization.
    0 references
    zbMATH Keywords
    goto schemes
    0 references
    structured schemes
    0 references
    dynamic logics
    0 references
    decidability
    0 references
    axiomatization
    0 references
    author
    David Peleg
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68N25
    0 references
    03B70
    0 references
    zbMATH DE Number
    4026802
    0 references
    OpenAlex ID
    W1991008756
    0 references
     
    Retrieved from "https://mardi.schubotz.org/w/index.php?title=Item:Q1094866&oldid=43942431"
    Powered by MediaWiki