On termination and invariance for faulty channel machines (Q1941874)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On termination and invariance for faulty channel machines
scientific article

    Statements

    On termination and invariance for faulty channel machines (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    22 March 2013
    0 references
    channel machines
    0 references
    computational complexity
    0 references
    metric temporal logic
    0 references
    primitive recursive
    0 references
    well-structured systems
    0 references

    Identifiers