Step semantics for ``true'' concurrency with recursion (Q916408)

From MaRDI portal
Revision as of 08:50, 21 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Step semantics for ``true'' concurrency with recursion
scientific article

    Statements

    title
    Step semantics for ``true'' concurrency with recursion (English)
    0 references
    author
    E. P. de Vink
    0 references
    John-Jules Ch. Meyer
    0 references
    publication date
    1989
    0 references
    zbMATH Keywords
    ``true'' concurrency
    0 references
    denotational semantics
    0 references
    Smyth powerdomain of streams
    0 references

    Identifiers

    DOI
    10.1007/BF01784023
    0 references
    zbMATH DE Number
    4153901
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q916408&oldid=34826671"
    Powered by MediaWiki