1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Hannes Schulze, Lutz Schröder, Üsame Cengiz
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…