A process algebraic framework for specification and validation of real-time systems (Q968306)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A process algebraic framework for specification and validation of real-time systems
scientific article

    Statements

    A process algebraic framework for specification and validation of real-time systems (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    5 May 2010
    0 references
    relational models
    0 references
    unifying theories of programming
    0 references
    CSP
    0 references
    Galois connections
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers