Search this site
Embedded Files
Skip to main content
Skip to navigation
Views Model
Home
Files
Views Model
Coq proofs for "Views: Compositional Reasoning for Concurrent Programs"
Technical report "Views: Compositional Reasoning for Concurrent Programs", which extends our submission.
Coq proofs: framework soundness and examples.
Google Sites
Report abuse
Page details
Page updated
Google Sites
Report abuse