Causal Linearizability: Compositionality for Partially Ordered Executions

S. Doherty, J. Derrick, B. Dongol, H. Wehrheim, CoRR (2018).

Download
No fulltext has been uploaded.
Journal Article
Author
Doherty, Simon; Derrick, John; Dongol, Brijesh; Wehrheim, HeikeLibreCat
Publishing Year
Journal Title
CoRR
LibreCat-ID

Cite this

Doherty S, Derrick J, Dongol B, Wehrheim H. Causal Linearizability: Compositionality for Partially Ordered Executions. CoRR. 2018.
Doherty, S., Derrick, J., Dongol, B., & Wehrheim, H. (2018). Causal Linearizability: Compositionality for Partially Ordered Executions. CoRR.
@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} }
Doherty, Simon, John Derrick, Brijesh Dongol, and Heike Wehrheim. “Causal Linearizability: Compositionality for Partially Ordered Executions.” CoRR, 2018.
S. Doherty, J. Derrick, B. Dongol, and H. Wehrheim, “Causal Linearizability: Compositionality for Partially Ordered Executions,” CoRR, 2018.
Doherty, Simon, et al. “Causal Linearizability: Compositionality for Partially Ordered Executions.” CoRR, 2018.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar