Compositional reasoning for explicit resource management in channel-based concurrency - HENNESSY, MATTHEW (My University, 2014)
PUBLISHED
Export Date: 30 September 2016