Coalgebraic Trace Semantics via Forgetful Logics (Q2948557)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Coalgebraic Trace Semantics via Forgetful Logics
scientific article

    Statements

    Coalgebraic Trace Semantics via Forgetful Logics (English)
    0 references
    0 references
    0 references
    1 October 2015
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references