Normal view MARC view ISBD view

Communicating and mobile systems : the [pi]-calculus / Robin Milner

Auteur principal : Milner, Robin, 1934-2010, AuteurType 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 verification (program logics, model checking, etc.)
68Q85, Computer science -- Theory of computing, Models and methods for concurrent and distributed computing
68Q10, Computer science -- Theory of computing, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q55, Computer science -- Theory of computing, Semantics
68Q42, Computer science -- Theory of computing, Grammars and rewriting systems
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle R
68 MIL (Browse shelf) Available 12028-01

Bibliogr. : p. 157-158. Index

There are no comments for this item.

Log in to your account to post a comment.