Compositionality Entails Sequentializability.

Pranav Garg, P. Madhusudan

Browse the full TACAS paper archive.