Data flow analysis of distributed communicating processes (Q751233)

From MaRDI portal
Revision as of 10:24, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI 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
    author
    John H. Reif
    0 references
    Scott A. Smolka
    0 references
    publication date
    1990
    0 references
    zbMATH Keywords
    message passing
    0 references
    reachability
    0 references
    Data flow analysis
    0 references
    communicating processes
    0 references

    Identifiers

    DOI
    10.1007/BF01407862
    0 references
    zbMATH DE Number
    4176417
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q751233&oldid=12664303"
    Powered by MediaWiki