Ready to preorder: get your BCCSP axiomatization for free (2007)

by Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
Venue:In Proc. 2nd Conference on Algebra and Coalgebra in Computer Science - CALCO’07