The [pi]-calculus: a theory of mobile processes / Davide Sangiorgi, David Walker

Auteur: Sangiorgi, Davide (1964-) - AuteurCo-auteur: Walker, David (1961-) - AuteurType de document: MonographieLangue: anglaisPays: Grande BretagneÉditeur: Cambridge : Cambridge University Press, 2001Description: 1 vol. (XII-580 p.) ; 26 cm ISBN: 0521781779 ; rel. Bibliographie: Bibliogr. p. 562-575. Index. Sujets MSC: 68Q85 Computer science -- Theory of computing -- Models and methods for concurrent and distributed computing
68-02 Computer science -- Research exposition (monographs, survey articles)
68N18 Computer science -- Software -- Functional programming and lambda calculus
Location Call Number Status Date Due
Salle R 00452-01 / 68 SAN (Browse Shelf) Available

Bibliogr. p. 562-575. Index

There are no comments for this item.

Log in to your account to post a comment.
Languages: English | Français | |