Types for ambient and process mobility (Q5458067)

From MaRDI portal





scientific article; zbMATH DE number 5262042
Language Label Description Also known as
default for all languages
No label defined
    English
    Types for ambient and process mobility
    scientific article; zbMATH DE number 5262042

      Statements

      Types for ambient and process mobility (English)
      0 references
      0 references
      0 references
      10 April 2008
      0 references
      labelled transition system
      0 references

      Identifiers