Bisimilarity in Fresh−Register Automata
Andrzej S. Murawski‚ Steven J. Ramsay and Nikos Tzevelekos
Book Title
30th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2015‚ Kyoto‚ Japan‚ July 6−10‚ 2015
Pages
156–167
Year
2015
Andrzej S. Murawski‚ Steven J. Ramsay and Nikos Tzevelekos