Toggle navigation
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
Bisimilarity in Fresh-Register Automata
QMRO Home
School of Electronic Engineering and Computer Science
Theoretical Computer Science Group
Bisimilarity in Fresh-Register Automata
QMRO Home
School of Electronic Engineering and Computer Science
Theoretical Computer Science Group
Bisimilarity in Fresh-Register Automata
Browse
All of QMRO
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Administrators only
Login
Statistics
Most Popular Items
Statistics by Country
Most Popular Authors
Bisimilarity in Fresh-Register Automata
View/
Open
Accepted Version (392.5Kb)
Pagination
156 - 167
DOI
10.1109/LICS.2015.24
ISSN
1043-6871
Metadata
Show full item record
Authors
Murawski, AS; Ramsay, SJ; Tzevelekos, N; IEEE
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/13504
Collections
Theoretical Computer Science Group
[25]
Licence information
“The final publication is available at http://dl.acm.org/citation.cfm?id=2876530”