{"user_id":"29719","year":"2018","citation":{"mla":"Doherty, Simon, et al. “Causal Linearizability: Compositionality for Partially Ordered Executions.” CoRR, 2018.","ieee":"S. Doherty, J. Derrick, B. Dongol, and H. Wehrheim, “Causal Linearizability: Compositionality for Partially Ordered Executions,” CoRR, 2018.","apa":"Doherty, S., Derrick, J., Dongol, B., & Wehrheim, H. (2018). Causal Linearizability: Compositionality for Partially Ordered Executions. CoRR.","short":"S. Doherty, J. Derrick, B. Dongol, H. Wehrheim, CoRR (2018).","chicago":"Doherty, Simon, John Derrick, Brijesh Dongol, and Heike Wehrheim. “Causal Linearizability: Compositionality for Partially Ordered Executions.” CoRR, 2018.","ama":"Doherty S, Derrick J, Dongol B, Wehrheim H. Causal Linearizability: Compositionality for Partially Ordered Executions. CoRR. 2018.","bibtex":"@article{Doherty_Derrick_Dongol_Wehrheim_2018, title={Causal Linearizability: Compositionality for Partially Ordered Executions}, journal={CoRR}, author={Doherty, Simon and Derrick, John and Dongol, Brijesh and Wehrheim, Heike}, year={2018} }"},"_id":"3153","date_updated":"2022-01-06T06:59:00Z","status":"public","author":[{"full_name":"Doherty, Simon","last_name":"Doherty","first_name":"Simon"},{"full_name":"Derrick, John","last_name":"Derrick","first_name":"John"},{"last_name":"Dongol","full_name":"Dongol, Brijesh","first_name":"Brijesh"},{"first_name":"Heike","id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"department":[{"_id":"77"}],"title":"Causal Linearizability: Compositionality for Partially Ordered Executions","date_created":"2018-06-13T07:26:35Z","publication":"CoRR","type":"journal_article"}