Show simple item record

dc.contributor.authorHENNESSY, MATTHEWen
dc.date.accessioned2016-10-17T11:11:19Z
dc.date.available2016-10-17T11:11:19Z
dc.date.issued2014en
dc.date.submitted2014en
dc.identifier.citationFrancalanza A, Devries E, Hennessy M, Compositional reasoning for explicit resource management in channel-based concurrency, Logical Methods in Computer Science, 10, 2, 2014, 15en
dc.identifier.otherYen
dc.identifier.urihttp://hdl.handle.net/2262/77510
dc.descriptionPUBLISHEDen
dc.descriptionExport Date: 30 September 2016en
dc.format.extent15en
dc.relation.ispartofseriesLogical Methods in Computer Scienceen
dc.relation.ispartofseries10en
dc.relation.ispartofseries2en
dc.rightsYen
dc.titleCompositional reasoning for explicit resource management in channel-based concurrencyen
dc.typeJournal Articleen
dc.type.supercollectionscholarly_publicationsen
dc.type.supercollectionrefereed_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/mcbhenneen
dc.identifier.rssinternalid128540en
dc.identifier.doihttp://dx.doi.org/10.2168/LMCS-10(2:15)2014en
dc.rights.ecaccessrightsopenAccess
dc.identifier.rssurihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84903453902&partnerID=40&md5=c63efe529aa39878c63e58c0760606a8en


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record