Using branching time temporal logic to synthesize synchronization skeletons (Q1051419)

From MaRDI portal
Revision as of 23:16, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Using branching time temporal logic to synthesize synchronization skeletons
scientific article

    Statements

    Using branching time temporal logic to synthesize synchronization skeletons (English)
    0 references
    0 references
    0 references
    1982
    0 references
    decision procedure
    0 references
    finite model property
    0 references
    specification formula
    0 references
    temporal logic specification
    0 references

    Identifiers