Książka Pi-Calculus Davide SangiorgiDavid Walker

Pi-Calculus

A Theory of Mobile Processes

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 9-15 dni
369.07
Mobile systems, whose components communicate and change their structure, now pervade the information...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2003
strony
596
EAN
9780521543279
ISBN
0521543274
Enbook ID
02034491
Waga
1084
Wymiary
188 x 248 x 34

Pełny opis

Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviours. The book serves both as a reference for the theory and as an extended demonstration of how to use pi-calculus to describe systems and analyse their properties. It covers the basic theory of pi-calculus, typed pi-calculi, higher-order processes, the relationship between pi-calculus and lambda-calculus, and applications of pi-calculus to object-oriented design and programming. The book is written at the graduate level, assuming no prior acquaintance with the subject, and is intended for computer scientists interested in mobile systems.

Możesz być zainteresowany

Distributed Pi-Calculus

Matthew Hennessy
409.86
386.40

Darwin's Medicine

Brian D. Smith
888.47

Summer

Edith Wharton
40.10

Basic Radiological Physics

Thayalan Kuppusamy
185.07
27.74
99.10

UNTITLED COSTER 2

NAIMA COSTER
87.32
129.96

My First Play

Nick Hern
44.48
280.77

Art of Horror

Stephen Jones
140.38
59.47

Klienci, którzy kupili tę książkę, kupili również

324.09
55.19

Buenas practicas en pastoral escolar

Xulio Cesar Iglesias Blanco
45.36

Japonské mýty

Viktor Krupa
58.60

AMANTS

C. Guillebaud
35.33

Drei Fleine Luftfpiele

Benjamin W. Wells
129.96
118.47

Reveiller les Morts

COLORING BANDIT
46.72

Vltava

Libor Sváček
80.41

Die Herrmannsschlacht

Heinrich von Kleist
23.45