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
Synthesis of Communicating Processes from Temporal Logic Specifications - MaRDI portal

Synthesis of Communicating Processes from Temporal Logic Specifications (Q3673090)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Synthesis of Communicating Processes from Temporal Logic Specifications
scientific article

    Statements

    title
    Synthesis of Communicating Processes from Temporal Logic Specifications (English)
    0 references
    author
    Zohar Manna
    0 references
    Pierre Wolper
    0 references
    publication date
    1984
    0 references
    zbMATH Keywords
    propositional temporal logic
    0 references
    PTL
    0 references
    concurrency
    0 references
    synchronization
    0 references
    specification
    0 references
    mutual exclusion
    0 references

    Identifiers

    DOI
    10.1145/357233.357237
    0 references
    Mathematics Subject Classification ID
    68Q85
    0 references
    03B44
    0 references
    68Q60
    0 references
    zbMATH DE Number
    3827190
    0 references
    OpenAlex ID
    W2040127143
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3673090&oldid=31637378"
    Powered by MediaWiki