There is a newer version of this record available.

Software Open Access

Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic - Coq Formalization

Léon Gondelman; Simon Oddershede Gregersen; Abel Nieto; Amin Timany; Lars Birkedal


BibTeX Export

@software{leon_gondelman_2020_4066608,
  author       = {Léon Gondelman and
                  Simon Oddershede Gregersen and
                  Abel Nieto and
                  Amin Timany and
                  Lars Birkedal},
  title        = {{Distributed Causal Memory: Modular Specification 
                   and Verification in Higher-Order Distributed
                   Separation Logic - Coq Formalization}},
  month        = oct,
  year         = 2020,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.4066608},
  url          = {https://doi.org/10.5281/zenodo.4066608}
}
231
24
views
downloads
All versions This version
Views 231177
Downloads 2417
Data volume 53.6 MB41.8 MB
Unique views 184147
Unique downloads 2317

Share

Cite as