Siniša Crvenkovic;Rozália Sz. Madarász
-;-
A menagerie of non-finitely based process semantics over BPA* - from ready simulation to completed traces
Mathematical Structures in Computer Science