Showing invariance compositionally for a process algebra for network protocols (Q2879249)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Showing invariance compositionally for a process algebra for network protocols
    scientific article

      Statements

      Showing Invariance Compositionally for a Process Algebra for Network Protocols (English)
      0 references
      0 references
      0 references
      0 references
      8 September 2014
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

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