A thread calculus with molecular dynamics (Q988554)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    A thread calculus with molecular dynamics
    scientific article

      Statements

      A thread calculus with molecular dynamics (English)
      0 references
      0 references
      0 references
      18 August 2010
      0 references
      thread calculus
      0 references
      thread algebra
      0 references
      molecular dynamics
      0 references
      restriction
      0 references
      projective limit model
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references