02-contents.md

Contents

1. Introduction
   1. Background
   2. A Glimpse of Hope
   3. Motivations
2. Protocol Overview
   1. Ambients Protocol Summary
   2. Properties of the Ambients Protocol
3. Distributed Programs as Ambients
   1. Programming Model
      1. Process Algebra
      2. Ambient Calculus
      3. Ambient Calculus Syntax
      4. Ambient - The Computation Container
      5. Ambient Capabilities
   2. Protocol Primitives
      1. Values
      2. Computation Primitives
         1. Computation Context: func
         2. Computation Parameter: arg
         3. Function Expressions With func and arg
      3. Distribution Primitives
         1. Request Computation: call
         2. Return Computation: return
      4. Evaluation Strategies
   3. Computation Abstractions
      1. Types
      2. Monoids
      3. Functors
4. Compilation Model
   1. Translating Ambients Programs
   2. Program Bytecode
   3. The Bytecode Format
      1. Opcodes
      2. Targets
      3. Instruction Order
5. Execution Model
   1. Ambients as Logs
      1. Partial Order
      2. Integrity
      3. Verifiability
   2. Logs
   3. Events
      1. Event Data Structure
      2. Creating Ambients
      3. Defining Programs
      4. Duality of Capabilities and Co-capabilities
      5. Transferring Control
      6. Evaluating Result
   4. Identities and Addresses
   5. Runtime Environment
      1. The Virtual Machine
      2. Discovery
      3. State Machine
      4. Primitive Data Types
      5. System Interface
6. Applications
   1. Data Structures
   2. Databases
   3. Protocols
   4. Decentralized Applications
   5. Digital Services
7. Future Work
   1. Research
   2. Development
8. Conclusion
9. References

---