Voltar
Artigo Revisado por pares
BIBTEX RIS

A common intermediate language and its use in partitioning concurrent declarative programs

1996; Springer Science+Business Media; Volume: 14; Issue: 3 Linguagem: Inglês

10.1007/bf03037485

ISSN

1882-7055

Autores

Zena M. Ariola, Barton C. Massey, M. Sami, Evan Tick,

Tópico(s)

Formal Methods in Verification

Referência(s)
Ver no editor
New Generation Computing
Altmetric
PlumX