SDL96

• Mainly corrections of unclear definitions of SDL92 constructions

• Communication standardization

  • RPC and remote variables appear on the interaction diagram

• Remarks

  • Notation very improved but maybe too complex
  • Non-determinism less useful

Previous slide

Next slide

Back to first slide

View graphic version