dc.contributor.author | BUTTERFIELD, ANDREW | en |
dc.contributor.editor | Marcello Bonsangue, Yuxing Deng | en |
dc.date.accessioned | 2016-09-19T13:41:47Z | |
dc.date.available | 2016-09-19T13:41:47Z | |
dc.date.created | 17-19 July 2016 | en |
dc.date.issued | 2016 | en |
dc.date.submitted | 2016 | en |
dc.identifier.citation | Andrew Butterfield, Anila Mjeda, John Noll, UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models, 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, 17-19 July 2016, Marcello Bonsangue, Yuxing Deng, IEEE Computer Society, 2016, 93 - 100 | en |
dc.identifier.other | Y | en |
dc.description | PUBLISHED | en |
dc.description | Shanghai, China | en |
dc.format.extent | 93 | en |
dc.format.extent | 100 | en |
dc.language.iso | en | en |
dc.publisher | IEEE Computer Society | en |
dc.rights | Y | en |
dc.title | UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models | en |
dc.title.alternative | 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016 | en |
dc.type | Conference Paper | en |
dc.type.supercollection | scholarly_publications | en |
dc.type.supercollection | refereed_publications | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/butrfeld | en |
dc.identifier.rssinternalid | 124497 | en |
dc.identifier.doi | 10.1109/TASE.2016.22 | en |
dc.rights.ecaccessrights | openAccess | |
dc.subject.TCDTag | Formal Semantics | en |
dc.subject.TCDTag | SHARED-STATE | en |
dc.subject.TCDTag | Unifying Theories of Programming | en |
dc.subject.TCDTag | concurrency | en |
dc.identifier.rssuri | http://doi.ieeecomputersociety.org/10.1109/TASE.2016.22 | en |
dc.identifier.orcid_id | 0000-0002-2337-2101 | en |
dc.contributor.sponsor | Science Foundation Ireland (SFI) | en |
dc.contributor.sponsorGrantNumber | 10/CE/11855 | en |
dc.identifier.uri | http://hdl.handle.net/2262/77372 | |