Replicated data types: specification, verification, optimality - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski. Replicated data types: specification, verification, optimality. In Suresh Jagannathan, Peter Sewell, editors, The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014. pages 271-284, ACM, 2014. [doi]

This author has not been identified. Look up 'Sebastian Burckhardt' in GoogleThis author has not been identified. Look up 'Alexey Gotsman' in GoogleThis author has not been identified. Look up 'Hongseok Yang' in GoogleThis author has not been identified. Look up 'Marek Zawirski' in Google

runs on WebDSL