Correctness of a distributed-memory model for Scheme (1996)

by L Moreau
Venue:In In Second International Europar Conference (EURO-PAR’96), number 1123 in Lecture Notes in Computer Science