Coinductive Interpreters for Process Calculi (2002)

by Barbosa And Oliveira, L. S. Barbosa, J. N. Oliveira
Venue:In Sixth International Symposium on Functional and Logic Programming, volume 2441 of LNCS