Guessarin, I.

Semantics of systems of concurrent processes; LITP spring school on ... /ed. (by) I. Guessarin - Berlin S-V 1990 - iv, 456p - Lecture Notes in Computer Science 469 .

Trans. from CSA to ML

3540534792

Concurrency Parallel processing

004.35015113 / N90