17 citations · 26 across the 12 of their papers we have counts for
1 paper · 1 filter
Roberto Gorrieri
A process algebra is proposed, whose semantics maps a term to a nondeterministic finite automaton (NFA, for short). We prove a representability theorem: for each NFA N, there exi…