Trace-oriented models of concurrency (Q2760239)

From MaRDI portal





scientific article; zbMATH DE number 1684394
Language Label Description Also known as
English
Trace-oriented models of concurrency
scientific article; zbMATH DE number 1684394

    Statements

    0 references
    18 December 2001
    0 references
    transition behaviour of automata
    0 references
    Trace-oriented models of concurrency (English)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references