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

Document Versions

Coinductive Interpreters for Process Calculi –Barbosa And Oliveira, L. S. Barbosa, J. N. Oliveira — 2002 — In Sixth International Symposium on Functional and Logic Programming, volume 2441 of LNCS
Coinductive Interpreters for Process Calculi –L. S. Barbosa, J. N. Oliveira — 2002 — In Sixth International Symposium on Functional and Logic Programming, volume 2441 of LNCS