| dc.contributor.author | HENNESSY, MATTHEW | en |
| dc.date.accessioned | 2016-10-17T11:11:19Z | |
| dc.date.available | 2016-10-17T11:11:19Z | |
| dc.date.issued | 2014 | en |
| dc.date.submitted | 2014 | en |
| dc.identifier.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, 15 | en |
| dc.identifier.other | Y | en |
| dc.description | PUBLISHED | en |
| dc.description | Export Date: 30 September 2016 | en |
| dc.format.extent | 15 | en |
| dc.relation.ispartofseries | Logical Methods in Computer Science | en |
| dc.relation.ispartofseries | 10 | en |
| dc.relation.ispartofseries | 2 | en |
| dc.rights | Y | en |
| dc.title | Compositional reasoning for explicit resource management in channel-based concurrency | en |
| dc.type | Journal Article | en |
| dc.type.supercollection | scholarly_publications | en |
| dc.type.supercollection | refereed_publications | en |
| dc.identifier.peoplefinderurl | http://people.tcd.ie/mcbhenne | en |
| dc.identifier.rssinternalid | 128540 | en |
| dc.identifier.doi | http://dx.doi.org/10.2168/LMCS-10(2:15)2014 | en |
| dc.rights.ecaccessrights | openAccess | |
| dc.identifier.rssuri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84903453902&partnerID=40&md5=c63efe529aa39878c63e58c0760606a8 | en |
| dc.identifier.uri | http://hdl.handle.net/2262/77510 | |
