Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation

Jan A. Bergstra, Gheorghe Stefanescu. Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation. Fundamenta Informaticae, 27(1):37-56, 1996.

Abstract

Abstract is missing.