Algebraic-coalgebraic specification in CoCASL (Q2369034)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Algebraic-coalgebraic specification in CoCASL
scientific article

    Statements

    title
    Algebraic-coalgebraic specification in CoCASL (English)
    0 references
    author
    Till Mossakowski
    0 references
    Lutz Schröder
    0 references
    Markus Roggenbach
    0 references
    Horst Reichel
    0 references
    publication date
    28 April 2006
    0 references
    zbMATH Keywords
    Algebraic specification
    0 references
    Coalgebra
    0 references
    Process algebra
    0 references
    Casl
    0 references
    CCS
    0 references
    CSP
    0 references
    describes a project that uses
    CCSL
    0 references
    LOOP
    0 references
    CASL
    0 references
    CoCasl
    0 references
    Haskell
    0 references
    Hets
    0 references
    cites work
    Q4693062
    0 references
    Q2746874
    0 references
    Q4738215
    0 references
    Q4738219
    0 references
    Institution morphisms
    0 references
    Q3777424
    0 references
    Q4533390
    0 references
    Q4738229
    0 references
    Q3992568
    0 references
    Q4385545
    0 references
    Coalgebraic logic
    0 references
    Q2729074
    0 references
    Q2763651
    0 references
    Q2762529
    0 references
    Q4414308
    0 references
    Q4222954
    0 references
    Q2767179
    0 references
    Q2722035
    0 references
    Q4499303
    0 references
    Q5306026
    0 references
    Q2709810
    0 references
    Q2769594
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q65
    0 references
    68Q85
    0 references
    03B40
    0 references
    03G30
    0 references
    zbMATH DE Number
    5020443
    0 references
    OpenAlex ID
    W2129099885
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2369034&oldid=34867865"
    Powered by MediaWiki