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

by Luca Aceto , Wan Fokkink , Anna Ingólfsdóttir
Venue:Mathematical Structures in Computer Science
Citations:23 - 18 self