Paper: Bisimilarity in Fresh-Register Automata (at LICS 2015)
Authors: Andrzej S. Murawski Steven J. Ramsay Nikos Tzevelekos
Abstract
No Abstract Available
BibTeX
@InProceedings{MurawskiRamsayTzeve-BisimilarityinFresh, author = {Andrzej S. Murawski and Steven J. Ramsay and Nikos Tzevelekos}, title = {Bisimilarity in Fresh-Register Automata}, booktitle = {Proceedings of the Thirtieth Annual IEEE Symposium on Logic in Computer Science (LICS 2015)}, year = {2015}, month = {July}, pages = {156--167}, location = {Kyoto, Japan}, publisher = {IEEE Computer Society Press} }