No label defined (Q5750408)

From MaRDI portal
scientific article; zbMATH DE number 4185040
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 4185040

    Statements

    1991
    0 references
    concurrent/distributed systems
    0 references
    refinement of actions
    0 references
    semantics of concurrency
    0 references
    Synchronization Trees
    0 references
    Causal Trees
    0 references
    branching bisimulation
    0 references
    0 references
    0 references

    Identifiers