Bisimilarity in concurrent constraint programming (Q2883099)

From MaRDI portal





scientific article; zbMATH DE number 6033350
Language Label Description Also known as
default for all languages
No label defined
    English
    Bisimilarity in concurrent constraint programming
    scientific article; zbMATH DE number 6033350

      Statements

      11 May 2012
      0 references
      concurrent constraint programming
      0 references
      concurrency
      0 references
      behavioural equivalence
      0 references
      bisimilarity
      0 references
      process calculi
      0 references
      operational semantics
      0 references
      labelled semantics
      0 references
      Bisimilarity in concurrent constraint programming (English)
      0 references

      Identifiers