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


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
232
24
views
downloads
All versions This version
Views 232178
Downloads 2417
Data volume 53.6 MB41.8 MB
Unique views 185148
Unique downloads 2317

Share

Cite as