Perspectives Technical Documentation

Perspectives Technical Documentation

• 1. Introduction to the docs
• 2. Introduction to the PDR
• PART I. HIGH LEVEL SYSTEM OVERVIEW
• PART II. THE LANGUAGE: DESIGN DECISIONS
• PART III. IMPLEMENTATION DETAILS
  • 12. PDR architecture
  • 13. A proxy for the PDR
    • 13.1. Overview
    • 13.2. Configuring the PDR proxy
    • 13.3. SharedWorkerChannel and ChannelID
    • 13.4. SharedWorker
    • 13.5. Tracing the entire process from client to PDR and back
  • 14. Modifying State
  • 15. Synchronization revisited
  • 16. Extensions
  • 17. Internal Representation
  • 18. Security
  • 19. Various topics
• PART IV. ESSENTIAL MODELS
• PART V. MODELLING PATTERNS
• PART VI. DESIGN OF MYCONTEXTS