Barbosa LS, Oliveira JN.? 2002.??Coinductive Interpreters for Process Calculi. Proceedings of 6th International Symposium on Functional and Logic Programming - FLOPS . 2441:183?197.