1 paper
Hannes Schulze, Lutz Schröder, Lutz Schröder +2
Nominal automata models and transition systems serve as formalisms for languages and processes carrying data, and as such relate closely to classical register-based models. The par…