Compositional Specification in Rewriting Logic (Q5108529)

From MaRDI portal
scientific article; zbMATH DE number 7196231
Language Label Description Also known as
English
Compositional Specification in Rewriting Logic
scientific article; zbMATH DE number 7196231

    Statements

    title
    Compositional Specification in Rewriting Logic (English)
    0 references
    author
    Óscar Martín
    0 references
    Alberto Verdejo
    0 references
    Q5108528
    0 references
    publication date
    4 May 2020
    0 references
    zbMATH Keywords
    compositional specification
    0 references
    rewriting logic
    0 references
    modularity
    0 references
    synchronous product
    0 references
    describes a project that uses
    SCEL
    0 references
    Maude
    0 references
    Reo
    0 references
    cites work
    Q3805920
    0 references
    Q2851050
    0 references
    Q4818796
    0 references
    Q4536601
    0 references
    Q5227061
    0 references
    Q4513619
    0 references
    From LOTOS to LNT
    0 references
    Q4506483
    0 references
    Q2763694
    0 references
    Coloured Petri Nets
    0 references
    Q3833630
    0 references
    Q4240122
    0 references
    Q3832059
    0 references
    Q3839052
    0 references
    Q3700812
    0 references
    Q3219122
    0 references
    Q5013817
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    03B70
    0 references
    68Q42
    0 references
    zbMATH DE Number
    7196231
    0 references
    Wikidata QID
    Q123905805
    0 references
    arXiv ID
    1908.11769
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5108529&oldid=38019238"
    Powered by MediaWiki