| dc.contributor.author | BUTTERFIELD, ANDREW | en |
| dc.date.accessioned | 2017-11-23T11:56:43Z | |
| dc.date.available | 2017-11-23T11:56:43Z | |
| dc.date.created | 29 Nov - 1st Dec 201 | en |
| dc.date.issued | 2017 | en |
| dc.date.submitted | 2017 | en |
| dc.identifier.citation | Andrew Butterfield, UTCP: compositional semantics for shared-variable concurrency, Lecture Notes in Computer Science, 20th Brazilian Symposium on Formal Methods (SBMF 2017), Recife, Brazil, 29 Nov - 1st Dec 201, LNCS, 10623, Springer, 2017, 253 - 270 | en |
| dc.identifier.other | Y | en |
| dc.description | PUBLISHED | en |
| dc.description | Recife, Brazil | en |
| dc.format.extent | 253 | en |
| dc.format.extent | 270 | en |
| dc.language.iso | en | en |
| dc.publisher | Springer | en |
| dc.relation.ispartofseries | LNCS | en |
| dc.relation.ispartofseries | 10623 | en |
| dc.rights | Y | en |
| dc.title | UTCP: compositional semantics for shared-variable concurrency | en |
| dc.title.alternative | Lecture Notes in Computer Science | en |
| dc.title.alternative | 20th Brazilian Symposium on Formal Methods (SBMF 2017) | 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 | 177583 | en |
| dc.identifier.doi | 10.1007/978-3-319-70848-5_16 | en |
| dc.rights.ecaccessrights | openAccess | |
| dc.subject.TCDTag | CONCURRENCY THEORY | en |
| dc.subject.TCDTag | Formal Semantics | en |
| dc.subject.TCDTag | Semantic Interoperability | en |
| dc.identifier.rssuri | https://doi.org/10.1007/978-3-319-70848-5_16 | en |
| dc.identifier.orcid_id | 0000-0002-2337-2101 | en |
| dc.status.accessible | N | en |
| dc.contributor.sponsor | Science Foundation Ireland (SFI) | en |
| dc.identifier.uri | http://hdl.handle.net/2262/82021 | |
