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

by L Aceto, W Fokkink, A Ingólfsdóttir
Venue:Algebra and Coalgebra in Computer Science. Second International Conference, CALCO 2007