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

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / OpenAlex ID
 
Property / OpenAlex ID: W1198182 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3781066 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The temporal logic of branching time / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4207567 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3204034 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3972532 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A distributed operational semantics of CCS based on condition/event systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Alternative semantics for temporal logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using branching time temporal logic to synthesize synchronization skeletons / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decision procedures and expressiveness in the temporal logic of branching time / rank
 
Normal rank
Property / cites work
 
Property / cites work: “Sometimes” and “not never” revisited / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modalities for model checking: Branching time logic strikes back / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deciding full branching time logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3347282 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3749040 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3785913 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Synthesis of Communicating Processes from Temporal Logic Specifications / rank
 
Normal rank
Property / cites work
 
Property / cites work: A model and temporal proof system for networks of processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: An iterative and starvation-free solution for a general class of distributed control problems based on interaction primitives / rank
 
Normal rank

Latest revision as of 16:30, 15 May 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
    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