Fresh-Register Automata
| dc.contributor.author | Tzevelekos, N | en_US |
| dc.date.accessioned | 2015-06-10T13:30:01Z | |
| dc.date.issued | 2011 | en_US |
| dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/7651 | |
| dc.format.extent | 295 - 306 | en_US |
| dc.subject | FINITE-MEMORY AUTOMATA | en_US |
| dc.subject | FULL ABSTRACTION | en_US |
| dc.subject | PI-CALCULUS | en_US |
| dc.subject | SEMANTICS | en_US |
| dc.subject | NAMES | en_US |
| dc.title | Fresh-Register Automata | en_US |
| dc.type | Conference Proceeding | |
| pubs.notes | Not known | en_US |
