Quantales, observational logic and process semantics (Q4279244)

From MaRDI portal
scientific article; zbMATH DE number 502852
Language Label Description Also known as
English
Quantales, observational logic and process semantics
scientific article; zbMATH DE number 502852

    Statements

    Quantales, observational logic and process semantics (English)
    0 references
    0 references
    0 references
    14 June 1994
    0 references
    observational logic
    0 references
    process semantics
    0 references
    module over a quantale
    0 references
    observations
    0 references
    quantale
    0 references
    labelled transition system
    0 references
    free quantale
    0 references
    module action
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references