Distributed causal memory: modular specification and verification in higher-order distributed separation logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Léon Gondelman, Simon Oddershede Gregersen, Abel Nieto, Amin Timany, Lars Birkedal. Distributed causal memory: modular specification and verification in higher-order distributed separation logic. Proceedings of the ACM on Programming Languages, 5(POPL):1-29, 2021. [doi]

This author has not been identified. Look up 'Léon Gondelman' in GoogleThis author has not been identified. Look up 'Simon Oddershede Gregersen' in GoogleThis author has not been identified. Look up 'Abel Nieto' in GoogleThis author has not been identified. It may be one of the following persons:

Amin Timany

Look up 'Amin Timany' in GoogleThis author has not been identified. Look up 'Lars Birkedal' in Google

runs on WebDSL