Muutke küpsiste eelistusi

E-raamat: Type Systems for Distributed Programs: Components and Sessions

  • Formaat: PDF+DRM
  • Sari: Atlantis Studies in Computing 7
  • Ilmumisaeg: 27-Jul-2016
  • Kirjastus: Atlantis Press (Zeger Karssen)
  • Keel: eng
  • ISBN-13: 9789462392045
  • Formaat - PDF+DRM
  • Hind: 87,68 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
  • Formaat: PDF+DRM
  • Sari: Atlantis Studies in Computing 7
  • Ilmumisaeg: 27-Jul-2016
  • Kirjastus: Atlantis Press (Zeger Karssen)
  • Keel: eng
  • ISBN-13: 9789462392045

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadlock or lock freedom in concurrent settings.
The main contributions of this book are twofold.
i) We design a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations.
ii) We define an encoding of the session pi-calculus, which models communication in distributed systems, into the standard typed pi-calculus. We use this encoding to derive properties like type safety and progress in the session pi-calculus by exploiting the corresponding properties in the standard typed pi-calculus.
1 The Whats and Wherefores of Physics
1(10)
1.1 The Beginning
1(1)
1.2 What Is Physics?
2(3)
1.3 Classical and Modern Physics
5(3)
1.4 Why Do We Need Physics?
8(1)
1.5 Beauty and Symmetries
9(2)
References
9(2)
2 Dramatis Personae (The Actors)
11(14)
2.1 Definitions
14(1)
2.2 The Laws of Physics
15(1)
2.3 The Variables of Mechanics
16(1)
2.4 Conservation Laws
17(1)
2.5 Work and Energy
18(2)
2.6 Taylor Expansions
20(5)
References
23(2)
3 Is Physics an Exact Science?
25(14)
3.1 Beginnings
25(1)
3.2 Higher, Faster, Heavier, but by How Much?
26(3)
3.3 Accuracy in Scientific Measurement
29(3)
3.4 Measurement of Length in Astronomy
32(2)
3.5 The Path to Understanding
34(2)
3.6 Caveat Emptor!
36(3)
References
38(1)
4 Newton and Beyond
39(16)
4.1 It's All Been Done!
39(1)
4.2 Newton Stands on the Shoulders of Giants
40(3)
4.3 Newton's Law of Gravity
43(1)
4.4 Let There Be Light
44(1)
4.5 Geometrical Optics: The Corpuscular Theory of Light
45(2)
4.6 Physical Optics: The Wave Theory of Light
47(2)
4.7 Beyond Newton---Analytical Mechanics
49(1)
4.8 The Method of Lagrange
50(3)
4.9 Hamilton's Approach
53(2)
References
54(1)
5 Statistical Mechanics and Thermodynamics
55(8)
5.1 Many Bodies Make Light Work
55(2)
5.2 Kinetic Energy of Gas Molecules
57(1)
5.3 Entropy and the Laws of Thermodynamics
58(5)
Reference
62(1)
6 Electromagnetism and Cracks in the Edifice of Classical Physics
63(14)
6.1 Electricity and Magnetism
63(2)
6.2 Maxwell Brings It Together
65(4)
6.3 The Beginnings of Doubts
69(3)
6.4 Particles or Waves
72(5)
7 Relativity
77(24)
7.1 A Bit of History
77(4)
7.2 A Clerk in the Patent Office of Bern
81(2)
7.3 Paradoxes
83(5)
7.4 The Most Famous Formula of Physics
88(3)
7.5 General Relativity
91(4)
7.6 Sounds from the Depths: Gravitational Waves
95(6)
References
99(2)
8 Quantum Mechanics
101(16)
8.1 A Disconcerting New Physics
101(1)
8.2 Quantization of Light
102(1)
8.3 Quantization of Matter
103(2)
8.4 Wave Functions
105(2)
8.5 Quantum Field Theory
107(1)
8.6 The Uncertainty Principle
108(2)
8.7 Superluminal Phase Waves
110(1)
8.8 Collapse of the Wave Function and Multiple Universes
110(2)
8.9 Entanglement and Superluminal Correlations
112(2)
8.9.1 Macroscopic and Microscopic
113(1)
8.10 QM and Cats
114(3)
References
115(2)
9 Atomic and Nuclear Physics
117(20)
9.1 Early Days
117(2)
9.2 Atomic Models
119(2)
9.3 The Bohr-Rutherford Model of the Atom
121(2)
9.4 The Quantum Mechanical Picture
123(2)
9.5 Inside the Nucleus
125(2)
9.6 Nuclear Decay
127(2)
9.7 Nuclear Synthesis
129(1)
9.8 Nuclear Forces
130(2)
9.9 Nuclear Models
132(5)
10 Fields and Particles
137(16)
10.1 Once Upon a Time
137(2)
10.2 The Particle Zoo
139(1)
10.3 The Standard Model
140(1)
10.4 Leptons
140(1)
10.5 Hadrons
141(2)
10.6 Bosons
143(1)
10.7 The Role of Symmetries
144(3)
10.8 Gauge Symmetries and the Fundamental Interactions
147(2)
10.9 The Problem of the Mass and the Higgs Boson
149(1)
10.10 What About Gravitons?
149(1)
10.11 Outstanding Issues
150(3)
10.11.1 Antimatter
150(1)
10.11.2 Supersymmetry
150(1)
10.11.3 Strings
151(1)
10.11.4 Ptolemy and Quantum Field Theory
151(2)
11 Cosmology
153(1)
11.1 The Time of Myths: Cosmogonies and Cosmologies
153(26)
11.2 Ancient Rational Cosmology
154(1)
11.3 Is the Universe Infinite, Homogeneous and Eternal?
155(2)
11.4 Relativistic Cosmology
157(2)
11.5 The Universe Expands, but Are We Really Sure?
159(5)
11.6 The Cosmic Microwave Background
164(3)
11.7 The Standard Universe Before 1998
167(3)
11.8 Old and New Problems
170(1)
11.9 The Missing Mass
170(1)
11.10 The Foamy Distribution of Galaxies
171(1)
11.11 The Accelerated Expansion
172(1)
11.12 The Flatness of Space
173(1)
11.13 The Concordance Model of the Universe
174(2)
11.14 Alternative Scenarios
176(3)
Reference
177(2)
12 Complexity and Universality
179(16)
12.1 Simplicity and Complexity
179(2)
12.2 Complexity Theory
181(3)
12.3 On the Edge of Chaos
184(1)
12.4 Fractality
185(1)
12.5 An Epistemological Conjecture
186(1)
12.6 Phenomenological Universalities (PUNs)
187(3)
12.7 The Universality of Growth
190(5)
References
192(3)
13 Conclusions and Philosophical Implications
195(16)
13.1 Introduction
195(1)
13.2 Anthropic Principle
196(2)
13.3 Variability of the Physical Constants
198(2)
13.4 Determinism Versus Free Will
200(1)
13.5 Entanglement Revisited
201(3)
13.6 Reality and the Role of the Observer
204(2)
13.7 What Do We Really Know About the Universe?
206(1)
13.8 Philosophical Implications of Relativity
207(1)
13.9 Philosophical Implications of Quantum Mechanics
208(1)
13.10 Final Conclusions
209(2)
References
210(1)
Index 211