Coinductive Interpreters for Process Calculi Artigo de Conferência uri icon

autores

  • Barbosa, L.S.
  • Oliveira, JN

data de publicação

  • janeiro 1, 2002