On Compositionality in Refining Concurrent Systems | Publicación