Towards action refinement for true concurrent real time (Q1424360)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Towards action refinement for true concurrent real time
scientific article

    Statements

    Towards action refinement for true concurrent real time (English)
    0 references
    0 references
    11 March 2004
    0 references
    concurrent systems
    0 references
    specification language LOTOS
    0 references

    Identifiers