Data flow analysis of distributed communicating processes (Q751233)

From MaRDI portal
Revision as of 12:48, 21 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Data flow analysis of distributed communicating processes
scientific article

    Statements

    title
    Data flow analysis of distributed communicating processes (English)
    0 references
    DOI
    10.1007/BF01407862
    0 references
    author
    John H. Reif
    0 references
    Scott A. Smolka
    0 references
    publication date
    1990
    0 references
    zbMATH DE Number
    4176417
    0 references
    zbMATH Keywords
    message passing
    0 references
    reachability
    0 references
    Data flow analysis
    0 references
    communicating processes
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q751233&oldid=34838459"
    Powered by MediaWiki