Process algebra for hybrid systems (Q1781998)

From MaRDI portal
Revision as of 18:36, 10 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q190306)
scientific article
Language Label Description Also known as
English
Process algebra for hybrid systems
scientific article

    Statements

    Process algebra for hybrid systems (English)
    0 references
    0 references
    10 June 2005
    0 references
    Process algebra
    0 references
    Hybrid systems
    0 references
    Continuous relative timing
    0 references
    Propositional signals
    0 references
    State evolutions
    0 references
    State transitions
    0 references

    Identifiers