Abstract

Concurrent programs

  • Interleaving of thread executions
  • Unbounded number of: threads, locks, …
  • We need some basis for doing the reasoning
    • A way of thinking!