The power of the future perfect in program logics (Q3704887)

From MaRDI portal
Revision as of 13:24, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
The power of the future perfect in program logics
scientific article

    Statements

    title
    The power of the future perfect in program logics (English)
    0 references
    publication date
    1985
    0 references
    Mathematics Subject Classification ID
    68Q65
    0 references
    03B45
    0 references
    68Q60
    0 references
    68N25
    0 references
    zbMATH DE Number
    3932380
    0 references
    zbMATH Keywords
    temporal logic
    0 references
    tense logic
    0 references
    transition systems
    0 references
    infinite computation
    0 references
    Hennessy-Milner logic
    0 references
    behavioural equivalence
    0 references
    bisimulation
    0 references
    relativised past tense operator
    0 references
    author
    Matthew C. B. Hennessy
    0 references
    Colin Stirling
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3704887&oldid=27995270"
    Powered by MediaWiki