Bisimilarity in Fresh Register Automata

Andrzrej Murawski, Steven Ramsay, Nikos Tzevelekos

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

7 Citations (Scopus)
12 Downloads (Pure)

Search results