TTL : a formalism to describe local and global properties of distributed systems (Q3992090)

From MaRDI portal
Revision as of 03:36, 22 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q1044835)
scientific article
Language Label Description Also known as
English
TTL : a formalism to describe local and global properties of distributed systems
scientific article

    Statements

    TTL : a formalism to describe local and global properties of distributed systems (English)
    0 references
    28 June 1992
    0 references
    local time theory
    0 references
    finite-state districuted systems
    0 references
    typed temporal logic
    0 references
    local and global time theory
    0 references
    theorem proving
    0 references
    model checking
    0 references

    Identifiers