Reactive Concurrent Programming Revisited (Q5262951)

From MaRDI portal
Revision as of 16:34, 30 December 2024 by Import241228121245 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 6457569
Language Label Description Also known as
English
Reactive Concurrent Programming Revisited
scientific article; zbMATH DE number 6457569

    Statements

    title
    Reactive Concurrent Programming Revisited (English)
    0 references
    author
    Roberto M. Amadio
    0 references
    Gérard Boudol
    0 references
    F. Boussinot
    0 references
    Ilaria Castellani
    0 references
    publication date
    10 July 2015
    0 references
    zbMATH Keywords
    concurrency
    0 references
    semantics
    0 references
    cooperative scheduling
    0 references
    reactive systems
    0 references
    describes a project that uses
    Esterel
    0 references
    SugarCubes
    0 references
    ULM
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68N15
    0 references
    68N19
    0 references
    68Q55
    0 references
    zbMATH DE Number
    6457569
    0 references
    OpenAlex ID
    W1997057712
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5262951&oldid=39571337"
    Powered by MediaWiki