Interface: Levels of AbstractionPart 2: Policies (Semantics?)

• Legal Data Types and Abstract Types

• “Protocols”

  • Local (handshakes)
  • Global (clocked synchronous)

• Transaction Models

• Implications of Concurrency

Previous slide

Next slide

Back to first slide

View graphic version