Coinductive interpreters for process calculi Artigo de Conferência

Visão geral
Pesquisas
Identidade
Informação adicional documento
Ver Todos

autores

Barbosa, L. S.
Oliveira, José Nuno Fonseca

data de publicação

janeiro 1, 2002

publicada em

Computational Methods in Applied Sciences Revista