The following pages link to Sebastian Burckhardt (Q2220885):
Displaying 11 items.
- Specification and space complexity of collaborative text editing (Q2220887) (← links)
- What’s Decidable about Weak Memory Models? (Q2892719) (← links)
- Eventually Consistent Transactions (Q2892721) (← links)
- Concurrent Library Correctness on the TSO Memory Model (Q2892722) (← links)
- Semantics of Concurrent Revisions (Q3000574) (← links)
- Effective Program Verification for Relaxed Memory Models (Q3512487) (← links)
- On the verification problem for weak memory models (Q5255057) (← links)
- Specification and Complexity of Collaborative Text Editing (Q5361944) (← links)
- Replicated data types (Q5408424) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711516) (← links)
- Consistency models with global operation sequencing and their composition (Q6487495) (← links)