Trace-oriented models of concurrency (Q2760239)

From MaRDI portal





scientific article; zbMATH DE number 1684394
Language Label Description Also known as
default for all languages
No label defined
    English
    Trace-oriented models of concurrency
    scientific article; zbMATH DE number 1684394

      Statements

      0 references
      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