Comparison to Related Works (2)

• Concurrency annotation --- sequential code + annotation.
  • Still need to rewrite annotation throughly.
• [Matsuoka and Yonezawa] --- hybrid approach.
  • A method to calculate next accept set (normally inheritable).
  • The above method may either be a synchronizer (guard-based) or a transition specification (state-based).
• Maude [Meseguer] --- concurrent rewriting logic (no synchronization code).
  • Formal, but difficult to implement/write.