Lectures

• Introduction
  environment saver (4 slides on a page)

• Shared Memory based Langauges
  4 slides on a page

• Message based Langauges
  4 slides on a page

• Real-Time based languages
  4 slides on a page

• Communicating Sequential Processes (CSP)
  4 slides on a page
  

• Sequential Consistency
  4 slides on a page
  

• Linearizability
  4 slides on a page

• Wait-Free Synchronization
  4 slides on a page

• Scheduling of Periodic Tasks in Real-Time Systems
  4 slides on a page

• Runtime monitoring of real-time systems
  4 slides on a page

• Real-Time Communication
  4 slides on a page

• Timed Transition Model - Ostroff's Model
  4 slides on a page

• Timed Automata
  4 slides on a page