A menagerie of non-finitely based process semantics over BPA*—from ready simulation to completed traces (1998)

by L Aceto, W Fokkink, A Ingolfsdottir
Venue:Mathematical Structures in Computer Science