Thread algebra with multi-level strategies (Q5480652)

From MaRDI portal





scientific article; zbMATH DE number 5043339
Language Label Description Also known as
default for all languages
No label defined
    English
    Thread algebra with multi-level strategies
    scientific article; zbMATH DE number 5043339

      Statements

      0 references
      0 references
      3 August 2006
      0 references
      multi-thread
      0 references
      host
      0 references
      network
      0 references
      service
      0 references
      thread algebra
      0 references
      strategic interleaving
      0 references
      thread-service composition
      0 references
      delayed processing
      0 references
      exception handling
      0 references
      formal design prototype
      0 references
      process algebra
      0 references

      Identifiers