Programming calculi(Other than the ?-calculus)

• Reasoning about programs

  • CSP
  • CCS
  • ?-calculus
  • Several for handling mobility (for the web)

Previous slide

Next slide

Back to first slide

View graphic version