On behavioural pseudometrics and closure ordinals (Q456100)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On behavioural pseudometrics and closure ordinals
scientific article

    Statements

    On behavioural pseudometrics and closure ordinals (English)
    0 references
    0 references
    23 October 2012
    0 references
    concurrency
    0 references
    formal semantics
    0 references
    behavioural pseudometric
    0 references
    least fixed point
    0 references
    closure ordinal
    0 references

    Identifiers