The pi-calculus :
a theory of mobile processes
système mobile # calcul pi # calcul lambda # mode de calcul # informatique # modèle et méthode pour le calcul concurrent et distribué # programmation # calcul de type pi # processus d'ordre supérieur # application du calcul pi à la programmation orienté objet
Publisher City : Cambridge
Publisher country : Grande-Bretagne
Language : English
EAN13 : 9780521781770
ISBN : 0-521-78177-9
Collation : 25 cm#rel.
Location : Ouvrage RdC (SANG)
Book type : Monographie
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00024237 | [available] |