Compositional reasoning for explicit resource management in channel-based concurrency
Citation:
Francalanza A, Devries E, Hennessy M, Compositional reasoning for explicit resource management in channel-based concurrency, Logical Methods in Computer Science, 10, 2, 2014, 15Download Item:
1405.6100.pdf (PDF) 483.3Kb
Author's Homepage:
http://people.tcd.ie/mcbhenneDescription:
PUBLISHEDExport Date: 30 September 2016
Author: HENNESSY, MATTHEW
Type of material:
Journal ArticleSeries/Report no:
Logical Methods in Computer Science10
2
Availability:
Full text availableDOI:
http://dx.doi.org/10.2168/LMCS-10(2:15)2014Licences: