Coinductive Interpreters for Process Calculi (2002)

Cached

Download Links

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