Compositionality Entails Sequentializability (Q3000634)

From MaRDI portal





scientific article; zbMATH DE number 5897393
Language Label Description Also known as
default for all languages
No label defined
    English
    Compositionality Entails Sequentializability
    scientific article; zbMATH DE number 5897393

      Statements

      Compositionality Entails Sequentializability (English)
      0 references
      0 references
      19 May 2011
      0 references
      concurrent programs
      0 references
      compositional verification
      0 references
      sequentialization
      0 references
      0 references
      0 references

      Identifiers