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:24 - 19 self