No label defined (Q4035257)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    0 references
    18 May 1993
    0 references
    behavioural equivalence for CCS agents
    0 references
    dynamic observational congruences
    0 references
    equivalence for concurrent systems
    0 references
    finality
    0 references
    processing bisimulation
    0 references

    Identifiers