Correctness of Non-determinism Analyses in a Parallel-Functional Language
ISSN: 0302-9743, 1611-3349
Argitalpen urtea: 2004
Alea: 3145
Orrialdeak: 69-85
Mota: Artikulua
Liburu bilduma:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)