An operational semantics for a calculus for wireless systems (Q964487)

From MaRDI portal





scientific article; zbMATH DE number 5697022
Language Label Description Also known as
default for all languages
No label defined
    English
    An operational semantics for a calculus for wireless systems
    scientific article; zbMATH DE number 5697022

      Statements

      An operational semantics for a calculus for wireless systems (English)
      0 references
      0 references
      0 references
      22 April 2010
      0 references
      wireless systems
      0 references
      broadcast
      0 references
      reduction semantics
      0 references
      labelled transition semantics
      0 references
      interference
      0 references

      Identifiers