Wan Fokkink
-
Register-machine based processes
Journal of the ACM (JACM)
A menagerie of non-finitely based process semantics over BPA* - from ready simulation to completed traces
Mathematical Structures in Computer Science
On the complete axiomatization for prefix iteration modulo observation congruence
Acta Cybernetica