dc.contributor.author | Murawski, AS | en_US |
dc.contributor.author | Ramsay, SJ | en_US |
dc.contributor.author | Tzevelekos, N | en_US |
dc.contributor.author | IEEE | en_US |
dc.date.accessioned | 2016-07-15T09:32:33Z | |
dc.date.issued | 2015 | en_US |
dc.date.submitted | 2016-06-21T13:02:07.140Z | |
dc.identifier.issn | 1043-6871 | en_US |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/13504 | |
dc.description.sponsorship | Research supported by the Engineering and Physical Sciences Research Council (EP/J019577/1) and the Royal Academy of Engineering (RF: Tzevelekos). | en_US |
dc.format.extent | 156 - 167 | en_US |
dc.rights | “The final publication is available at http://dl.acm.org/citation.cfm?id=2876530” | |
dc.subject | register automata | en_US |
dc.subject | bisimilarity | en_US |
dc.subject | computational group theory | en_US |
dc.subject | automata over infinite alphabets | en_US |
dc.title | Bisimilarity in Fresh-Register Automata | en_US |
dc.type | Conference Proceeding | |
dc.identifier.doi | 10.1109/LICS.2015.24 | en_US |
pubs.author-url | http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000380427100016&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=612ae0d773dcbdba3046f6df545e9f6a | en_US |
pubs.notes | Not known | en_US |
pubs.publication-status | Published | en_US |