| dc.contributor.author | TZEVELEKOS, NP | en_US |
| dc.contributor.author | Murawski, AS | en_US |
| dc.contributor.author | 28th International Conference on Concurrency Theory | en_US |
| dc.date.accessioned | 2017-07-31T14:57:15Z | |
| dc.date.available | 2017-06-16 | en_US |
| dc.date.submitted | 2017-07-29T10:10:22.072Z | |
| dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/25012 | |
| dc.rights | Licensed under Creative Commons License CC-BY | |
| dc.title | Higher-Order Linearisability | en_US |
| dc.type | Conference Proceeding | |
| dc.rights.holder | © Andrzej S. Murawski and Nikos Tzevelekos | |
| pubs.notes | Not known | en_US |
| pubs.publication-status | Accepted | en_US |
| dcterms.dateAccepted | 2017-06-16 | en_US |
| qmul.funder | Game Semantics for Program Analysis::Royal Academy of Engineering | en_US |
| qmul.funder | Game Semantics for Program Analysis::Royal Academy of Engineering | en_US |
