The theory of interactive generalized semi-Markov processes (Q1603705)

From MaRDI portal





scientific article; zbMATH DE number 1767907
Language Label Description Also known as
default for all languages
No label defined
    English
    The theory of interactive generalized semi-Markov processes
    scientific article; zbMATH DE number 1767907

      Statements

      The theory of interactive generalized semi-Markov processes (English)
      0 references
      0 references
      0 references
      15 July 2002
      0 references
      stochastic process algebras
      0 references
      generalized semi-Markov processes
      0 references
      probabilistic bisimulation
      0 references
      observational congruence
      0 references

      Identifiers