|
|
|
|
| | A Distributed Pi-CalculusDistributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behavior are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behavior of mobile agents in a distributed world. It is based on an existing formal language, the... | | Supermanifolds: Theory and ApplicationsA book written in a relaxed and friendly manner, that moreover, tries to appeal to both, physicists and mathematicians, by using their specific parlance at various parts. As already said, a concise, but at the same time reasonably complete, exposition of the basics of supermanifold theory. A concise but up-to-date account of some of the main... |
|
|
|
|
|
Result Page: 89 88 87 86 85 84 83 82 81 80 79 78 77 76 75 74 73 72 71 |