Communicating and mobile systems : the [pi]-calculus / Robin Milner
Type de document : MonographieLangue : anglais.Pays: Grande Bretagne.Éditeur : Cambridge : Cambridge University Press, 1999Description : 1 vol. (XII-161 p.) : fig. ; 24 cmISBN: 0521643201.Bibliographie : Bibliogr. : p. 157-158. Index.Sujet MSC : 68Q60, Computer science - Theory of computing, Specification and verification68Q85, Computer science, Models and methods for concurrent and distributed computing
68Q10, Computer science - Theory of computing, Modes of computation
68Q55, Computer science, Semantics in the theory of computing
68Q42, Computer science - Theory of computing, Grammars and rewriting systems Item type:

Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|
CMI Salle R | 68 MIL (Browse shelf(Opens below)) | Available | 12028-01 |
Bibliogr. : p. 157-158. Index
There are no comments on this title.