Returning and non-returning parallel communicating finite automata are equivalent

From MaRDI portal
Publication:5441543