Final Semantics for Decorated Traces (Q3178274)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Final Semantics for Decorated Traces
scientific article

    Statements

    title
    Final Semantics for Decorated Traces (English)
    0 references
    author
    Filippo Bonchi
    0 references
    Marcello M. Bonsangue
    0 references
    Georgiana Caltais
    0 references
    Alexandra Silva
    0 references
    Jan J. M. M. Rutten
    0 references
    publication date
    8 July 2016
    0 references
    zbMATH Keywords
    labelled transition systems
    0 references
    decorated traces
    0 references
    coalgebras
    0 references
    final Moore automata
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q85
    0 references
    68Q45
    0 references
    68Q55
    0 references
    zbMATH DE Number
    6602832
    0 references
    OpenAlex ID
    W2121001461
    0 references
    Wikidata QID
    Q113318088
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3178274&oldid=36261908"
    Powered by MediaWiki