Non-determinism analysis in a parallel-functional language

  1. Peña, R.
  2. Segura, C.
Liburu bilduma:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349 0302-9743

ISBN: 3540419195

Argitalpen urtea: 2001

Alea: 2011

Orrialdeak: 1-18

Mota: Biltzar ekarpena