Compositionality Entails Sequentializability
DOI10.1007/978-3-642-19835-9_4zbMATH Open1315.68091OpenAlexW2142940251MaRDI QIDQ3000634FDOQ3000634
Authors: Pranav Garg, Parthasarathy Madhusudan 
Publication date: 19 May 2011
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-19835-9_4
Recommendations
- Compositional properties of sequential processes
- Sequentiality in an extensional framework
- scientific article; zbMATH DE number 431761
- Revisiting sequential composition in process calculi
- Composing ordered sequential consistency
- scientific article; zbMATH DE number 1638658
- On sequential separability
- Denotational linear time semantics and sequential composition
- Sequential composition in the presence of intermediate termination (extended abstract)
- scientific article; zbMATH DE number 7471704
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- An axiomatic proof technique for parallel programs
- Tentative steps toward a development method for interfering programs
- Title not available (Why is that?)
- The Rely-Guarantee method for verifying shared variable concurrent programs
- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
- Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
- Title not available (Why is that?)
- An approach to automating the verification of compact parallel coordination programs. I
- Computer Aided Verification
- Local rely-guarantee reasoning
- Local Proofs for Global Safety Properties
Cited In (10)
- Compositional sequentialization of periodic programs
- Modular verification of concurrent programs via sequential model checking
- Layered concurrent programs
- Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
- Title not available (Why is that?)
- Sequentialization using timestamps
- Compositional reasoning
- Title not available (Why is that?)
- On reduction of sequential-parallel compositional programs to entirely sequential form
- Composing ordered sequential consistency
Uses Software
This page was built for publication: Compositionality Entails Sequentializability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000634)
