Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation.

Jan A. BergstraGheorghe Stefanescu
Published in: Fundam. Informaticae (1996)