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

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q1044835
Property / author
 
Property / author: Andrea Masini / rank
Normal rank
 

Revision as of 03:36, 22 February 2024

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