Coinductive Interpreters for Process Calculi (2002)

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