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 |
| 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 |
