• Home
  • Reading Material
  • Type System
    • Types
    • Laws
    • Links
    • Transitions
    • States
    • Message Theory Stickies
    • Intersections
  • Message Physics
  • Causality
  • Temporality
  • Exception Handling
  • Idempotency
  • Resource Groups
  • Minor Improvements
    • URIs
  • Immutability
  • New Operators
    • Tuple Operators
    • Message Opeators
  • Message Theory
  • Execution Models
    • Block Labels
    • Resource Characteristics
  • Systems